From a4d9642cf2d9bec78288b53e2af33003e21c5a04 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 3 Dec 2015 09:46:18 -0800
Subject: [PATCH] parsing of SMT 2.5 style string literals

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/parsers/smt2/smt2scanner.cpp | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/parsers/smt2/smt2scanner.cpp b/src/parsers/smt2/smt2scanner.cpp
index 18d40d48f..bc62c2646 100644
--- a/src/parsers/smt2/smt2scanner.cpp
+++ b/src/parsers/smt2/smt2scanner.cpp
@@ -171,11 +171,17 @@ namespace smt2 {
                 throw scanner_exception("unexpected end of string", m_line, m_spos);
             if (c == '\"') {
                 next();
-                m_string.push_back(0);
-                return STRING_TOKEN;
+                if (curr() == '\"') {
+                    m_string.push_back(c);
+                }
+                else {
+                    m_string.push_back(0);
+                    return STRING_TOKEN;
+                }
             }
-            if (c == '\n')
+            else if (c == '\n') {
                 new_line();
+            }
             else if (c == '\\') {
                 next();
                 c = curr();