Small fix in "sim" help message

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 02b859bcc5e4e25004a78462a27a757210b08a47..6b03235d3d9622fdc61309c710c3f8644f94a43b 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1599,7 +1599,7 @@ struct SimPass : public Pass {
                log("    -map <filename>\n");
                log("        read file with port and latch symbols, needed for AIGER witness input\n");
                log("\n");
-               log("    -scope\n");
+               log("    -scope <name>\n");
                log("        scope of simulation top model\n");
                log("\n");
                log("    -at <time>\n");