Fixed "yosys-smtbmc --noprogress"

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 10a1347117e7398a1657e80b057c958edf47b68b..6ec036a3ba6dc3ad79d5b1654188ff7f3e4c8660 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -633,7 +633,7 @@ class SmtOpts:
         elif o == "--noincr":
             self.noincr = True
         elif o == "--noprogress":
-            self.timeinfo = True
+            self.timeinfo = False
         elif o == "--dump-smt2":
             self.debug_file = open(a, "w")
         elif o == "--logic":