From e22a67c12c23923a93ea46256f43087e2bce5b8c Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 8 Nov 2016 15:27:46 +0000
Subject: [PATCH] Whitespace

---
 src/api/z3_replayer.cpp | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/src/api/z3_replayer.cpp b/src/api/z3_replayer.cpp
index 651cb730f..56f6d7bb6 100644
--- a/src/api/z3_replayer.cpp
+++ b/src/api/z3_replayer.cpp
@@ -14,7 +14,7 @@ Author:
     Leonardo de Moura (leonardo) 2011-09-22
 
 Notes:
-    
+
 --*/
 #include"vector.h"
 #include"map.h"
@@ -76,13 +76,13 @@ struct z3_replayer::imp {
         }
         if (m_args[pos].m_kind != k) {
             std::stringstream strm;
-            strm << "expecting " << kind2string(k) << " at position " 
+            strm << "expecting " << kind2string(k) << " at position "
                  << pos << " but got " << kind2string(m_args[pos].m_kind);
             throw z3_replayer_exception(strm.str().c_str());
         }
     }
 
-    struct value { 
+    struct value {
         value_kind m_kind;
         union {
             __int64      m_int;
@@ -129,7 +129,7 @@ struct z3_replayer::imp {
             break;
         case DOUBLE:
             out << v.m_double;
-            break;        
+            break;
         case STRING:
             out << v.m_str;
             break;
@@ -160,7 +160,7 @@ struct z3_replayer::imp {
     char curr() const { return m_curr; }
     void new_line() { m_line++; }
     void next() { m_curr = m_stream.get(); }
-    
+
     void read_string_core(char delimiter) {
         if (curr() != delimiter)
             throw z3_replayer_exception("invalid string/symbol");
@@ -258,7 +258,7 @@ struct z3_replayer::imp {
     }
 
     bool is_double_char() const {
-        return curr() == '-' || curr() == '.' || ('0' <= curr() && curr() <= '9') || curr() == 'e' || curr() == 'E'; 
+        return curr() == '-' || curr() == '.' || ('0' <= curr() && curr() <= '9') || curr() == 'e' || curr() == 'E';
     }
 
 #if (!defined(strtof))
@@ -376,7 +376,7 @@ struct z3_replayer::imp {
             }
         }
         else if (k == OBJECT) {
-            TRACE("z3_replayer_bug", 
+            TRACE("z3_replayer_bug",
                   tout << "args: "; display_args(tout); tout << "\n";
                   tout << "push_back, sz: " << sz << ", m_obj_arrays.size(): " << m_obj_arrays.size() << "\n";
                   for (unsigned i = asz - sz; i < asz; i++) {
@@ -421,7 +421,7 @@ struct z3_replayer::imp {
                 break;
             case 'R':
                 // reset
-                next(); 
+                next();
                 TRACE("z3_replayer", tout << "[" << m_line << "] " << "R\n";);
                 reset();
                 break;
@@ -432,7 +432,7 @@ struct z3_replayer::imp {
                 if (m_ptr == 0) {
                     m_args.push_back(0);
                 }
-                else { 
+                else {
                     void * obj = 0;
                     if (!m_heap.find(m_ptr, obj))
                         throw z3_replayer_exception("invalid pointer");
@@ -493,7 +493,7 @@ struct z3_replayer::imp {
                 next(); skip_blank(); read_double();
                 TRACE("z3_replayer", tout << "[" << m_line << "] " << "D " << m_double << "\n";);
                 m_args.push_back(value(DOUBLE, m_double));
-                break;            
+                break;
             case 'p':
             case 's':
             case 'u':
@@ -696,15 +696,15 @@ struct z3_replayer::imp {
         m_unsigned_arrays.reset();
         m_int_arrays.reset();
     }
-    
-  
+
+
 };
 
 z3_replayer::z3_replayer(std::istream & in) {
     m_imp = alloc(imp, *this, in);
     register_z3_replayer_cmds(*this);
 }
-    
+
 z3_replayer::~z3_replayer() {
     dealloc(m_imp);
 }