Minor "write_smt2" help msg change

1 files changed, 1 insertions, 1 deletions

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 50cb74ad..1525d32f 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -622,7 +622,7 @@ struct Smt2Backend : public Backend {
 		log("The following yosys script will create a 'test.smt2' file for our proof:\n");
 		log("\n");
 		log("        read_verilog test.v\n");
-		log("        hierarchy; proc; techmap; opt -fast\n");
+		log("        hierarchy -check; proc; opt; check -assert\n");
 		log("        write_smt2 -bv -tpl test.tpl test.smt2\n");
 		log("\n");
 		log("Running 'cvc4 test.smt2' will print 'unsat' because y can never transition\n");