From: acw1251 <acwright@mit.edu>
Date: Wed, 12 Sep 2018 22:33:27 +0000 (-0400)
Subject: Fixed minor typo in "sim" help message
X-Git-Tag: yosys-0.8~11^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5fe16c25b81d507fa41381eca70c5aada59db25f;p=yosys.git

Fixed minor typo in "sim" help message
---

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index fadffcdbc..53e248adf 100644
--- 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");