Fixed typo is sat_solve help msg

This commit is contained in:
Clifford Wolf 2013-06-08 15:36:32 +02:00
parent 23a7973094
commit 4b7f070b69
1 changed files with 1 additions and 1 deletions

View File

@ -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");