From 6e152f7aa1a5752eae6e7bd8a67dfce2bd0d64f6 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 26 Feb 2017 14:39:07 +0100 Subject: [PATCH] Fix bug in smtio unroll code --- backends/smt2/smtio.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 93133a462..1278d00aa 100644 --- 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 -- 2.30.2