From be32de1caa8f10c97243cc6b919ad2265247219b Mon Sep 17 00:00:00 2001
From: Claire Xenia Wolf <claire@clairexen.net>
Date: Fri, 11 Mar 2022 15:36:23 +0100
Subject: Small fix in "sim" help message

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
---
 passes/sat/sim.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'passes')

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 <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");
-- 
cgit v1.2.3