From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Jun 2013 13:36:32 +0000 (+0200)
Subject: Fixed typo is sat_solve help msg
X-Git-Tag: yosys-0.2.0~603
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4b7f070b692aaa16a90f028873f54c4acb4c34f4;p=yosys.git

Fixed typo is sat_solve help msg
---

diff --git a/passes/sat/sat_solve.cc b/passes/sat/sat_solve.cc
index b71d0507a..bf243ae2e 100644
--- a/passes/sat/sat_solve.cc
+++ b/passes/sat/sat_solve.cc
@@ -126,7 +126,7 @@ struct SatSolvePass : public Pass {
 		log("    -set <signal> <value>\n");
 		log("        set the specified signal to the specified value.\n");
 		log("\n");
-		log("    -show <signal>n");
+		log("    -show <signal>\n");
 		log("        show the model for the specified signal. if no -show option is\n");
 		log("        passed then a set of signals to be shown is automatically selected.\n");
 		log("\n");