Fix bug in smtio unroll code

2017-02-26 14:39:07 +01:00 · 2017-02-26 14:39:07 +01:00 · 6e152f7aa1
parent 66a1617b69
commit 6e152f7aa1
1 changed files with 2 additions and 3 deletions
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@ -215,9 +215,8 @@ class SmtIo:
        stmt = stmt.strip()

        if self.nocomments or self.unroll:
-            if stmt.startswith(";"):
-                return
-            stmt = re.sub(r" ;.*", "", stmt)
+            stmt = re.sub(r" *;.*", "", stmt)
+            if stmt == "": return

        if unroll and self.unroll:
            stmt = self.unroll_buffer + stmt