Fixed typo is sat_solve help msg

diff --git a/passes/sat/sat_solve.cc b/passes/sat/sat_solve.cc
index b71d0507a1b79fe24c8d96469f11dadad5eadfff..bf243ae2ec3dc1844f9824f20a47d950ef13c747 100644 (file)
--- 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");