From ea30465107a148454f19226e44b242de73d200dd Mon Sep 17 00:00:00 2001
From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Fri, 29 May 2020 21:30:24 +0000
Subject: [PATCH] smtbmc: Remove superfluous `yosys-smt2-timeout` file macro.

Co-Authored-By: clairexen <claire@symbioticeda.com>
---
 backends/smt2/smtio.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index d24fbf809..9f7c8c6d9 100644
--- 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
-- 
2.30.2