From: Claire Xenia Wolf Date: Fri, 11 Mar 2022 14:36:23 +0000 (+0100) Subject: Small fix in "sim" help message X-Git-Tag: yosys-0.16~51 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=be32de1caa8f10c97243cc6b919ad2265247219b;p=yosys.git Small fix in "sim" help message Signed-off-by: Claire Xenia Wolf --- 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