From f179d49f4f4ac90e9515f42ee690426c5a67fa52 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 24 Sep 2017 10:58:39 -0700
Subject: [PATCH] check for eof, based on testing garbled repro from #1267

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/parsers/smt2/smt2scanner.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parsers/smt2/smt2scanner.cpp b/src/parsers/smt2/smt2scanner.cpp
index c1cc40b2b..9a9e69b67 100644
--- a/src/parsers/smt2/smt2scanner.cpp
+++ b/src/parsers/smt2/smt2scanner.cpp
@@ -124,7 +124,7 @@ namespace smt2 {
         next();
         bool is_float = false;
 
-        while (true) {
+        while (!m_at_eof) {
             char c = curr();
             if ('0' <= c && c <= '9') {
                 m_number = rational(10)*m_number + rational(c - '0');