Fixed minor typo in "sim" help message

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index fadffcdbc3f82d7f3b0f11ca5613e7cf999547cc..53e248adf578d576ca883ddd32dc303f5fc77ada 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -778,7 +778,7 @@ struct SimPass : public Pass {
                log("        number of cycles to simulate (default: 20)\n");
                log("\n");
                log("    -a\n");
-               log("        include all nets in VCD output, nut just those with public names\n");
+               log("        include all nets in VCD output, not just those with public names\n");
                log("\n");
                log("    -w\n");
                log("        writeback mode: use final simulation state as new init state\n");