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: [PATCH] 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(-)
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");