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