Minor "write_smt2" help msg change

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 50cb74ad87b59a4d915799f0a83bb3c63e3cdf5d..1525d32ffc3b34f21e5050f393b34b7043da2971 100644 (file)
--- 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");