diff --git a/backends/verilog/verilog_backend.cc b/backends/verilog/verilog_backend.cc
index 28cbb4f4d..84b1ce97d 100644
--- a/backends/verilog/verilog_backend.cc
+++ b/backends/verilog/verilog_backend.cc
@@ -400,7 +400,7 @@ void dump_parameter(std::ostream &f, std::string indent, RTLIL::IdString id_stri
 	f << stringf("%sparameter %s", indent.c_str(), id(id_string).c_str());
 	f << stringf(" = ");
 	dump_const(f, parameter);
-	f << stringf(";\n");
+	f << ";\n";
 }
 
 void dump_wire(std::ostream &f, std::string indent, RTLIL::Wire *wire)