ignore # comment lines

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index 7e0d8f5710aeb69e313e086803c8d5623ab90cd7..7527f41054749ca36bd7084f44c3a71d51009fac 100644 (file)
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -492,7 +492,7 @@ if aimfile is not None:
             got_state = True
 
         for entry in f.read().splitlines():
-            if len(entry) == 0 or entry[0] in "bcjfu.":
+            if len(entry) == 0 or entry[0] in "bcjfu.#":
                 continue
 
             if not got_state: