From 99d2ab4e8e51e39791922d6a8c750879d0657c88 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 17 Jan 2016 14:24:02 +0000
Subject: [PATCH] Undid previous update of SMT2 scanner to support the new
 SMT2.5 string escaping.

---
 src/parsers/smt2/smt2scanner.cpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/parsers/smt2/smt2scanner.cpp b/src/parsers/smt2/smt2scanner.cpp
index 8a0dc1639..156cc2e5d 100644
--- a/src/parsers/smt2/smt2scanner.cpp
+++ b/src/parsers/smt2/smt2scanner.cpp
@@ -179,14 +179,6 @@ namespace smt2 {
                     return STRING_TOKEN;
                 }
             }
-            else if (c == '\\') {
-                next();
-                c = curr();
-                if (c == EOF)
-                    throw scanner_exception("unexpected end of string", m_line, m_spos);
-                if (c != '\\' && c != '\"')
-                    throw scanner_exception("invalid escape sequence", m_line, m_spos);
-            }
             m_string.push_back(c);
             next();
         }