smtbmc: Remove superfluous `yosys-smt2-timeout` file macro.

Co-Authored-By: clairexen <claire@symbioticeda.com>

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index d24fbf8096a8215c5540d18c6c6e046432cab49a..9f7c8c6d98fa868fa9cb742fa2e6b8aa82c378d0 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -468,10 +468,6 @@ class SmtIo:
 
         fields = stmt.split()
 
-        if fields[1] == "yosys-smt2-timeout":
-            self.timeout = int(fields[2])
-            assert self.timeout > 0
-
         if fields[1] == "yosys-smt2-nomem":
             if self.logic is None:
                 self.logic_ax = False