From 35a6ad4cc162d0f6aeec5bab1fd52d6ca041d868 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 10 Mar 2016 11:14:51 +0100
Subject: [PATCH] Fixed typos in verilog_defaults help message

---
 frontends/verilog/verilog_frontend.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index cd8b586c4..11c2824c3 100644
--- 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");
-- 
2.30.2