From 054e139c0d9fded534ae8ef3596b279bc25d9f7b Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 20 Jun 2017 14:37:26 +0100
Subject: [PATCH] Whitespace

---
 src/parsers/smt2/smt2scanner.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/parsers/smt2/smt2scanner.cpp b/src/parsers/smt2/smt2scanner.cpp
index fb2f9f34a..1763a4fa5 100644
--- a/src/parsers/smt2/smt2scanner.cpp
+++ b/src/parsers/smt2/smt2scanner.cpp
@@ -23,7 +23,7 @@ namespace smt2 {
 
     void scanner::next() {
         if (m_cache_input)
-            m_cache.push_back(m_curr);                
+            m_cache.push_back(m_curr);
         SASSERT(!m_at_eof);
         if (m_interactive) {
             m_curr = m_stream.get();
@@ -293,11 +293,11 @@ namespace smt2 {
     }
 
     scanner::token scanner::scan() {
-        while (true) {            
+        while (true) {
             signed char c = curr();
             m_pos = m_spos;
 
-            if (m_at_eof)                
+            if (m_at_eof)
                 return EOF_TOKEN;
 
             switch (m_normalized[(unsigned char) c]) {