Fixed typos in verilog_defaults help message

diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index cd8b586c40d294dd727eb5ae2c7ec58180c391de..11c2824c38fad76783edc3dc9c7d75cc58de5398 100644 (file)
--- a/frontends/verilog/verilog_frontend.cc
+++ b/frontends/verilog/verilog_frontend.cc
@@ -362,13 +362,13 @@ struct VerilogDefaults : public Pass {
                log("Add the specified options to the list of default options to read_verilog.\n");
                log("\n");
                log("\n");
-               log("    verilog_defaults -clear");
+               log("    verilog_defaults -clear\n");
                log("\n");
                log("Clear the list of Verilog default options.\n");
                log("\n");
                log("\n");
-               log("    verilog_defaults -push");
-               log("    verilog_defaults -pop");
+               log("    verilog_defaults -push\n");
+               log("    verilog_defaults -pop\n");
                log("\n");
                log("Push or pop the list of default options to a stack. Note that -push does\n");
                log("not imply -clear.\n");