From c9585bf2670534e7eae24c2c92b4adf474fa82a8 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Fri, 16 Apr 2010 00:19:58 +0000
Subject: [PATCH] small change

---
 Robust/src/Runtime/runtime.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 61d18e1f..038e80b3 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -350,9 +350,10 @@ void CALL01(___System______printString____L___String___,struct ___String___ * __
     short sc=((short *)(((char *)&chararray->___length___)+sizeof(int)))[i+offset];
     putchar(sc);
   }
-//#ifdef RECOVERYSTATS
+#ifdef RECOVERYSTATS
+  fflush(stdout);
   fflush(stdout);
-//#endif
+#endif
 }
 
 #ifdef D___RecoveryStat______printRecoveryStat____ 
-- 
2.34.1