From: adash <adash>
Date: Fri, 16 Apr 2010 00:19:58 +0000 (+0000)
Subject: small change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c9585bf2670534e7eae24c2c92b4adf474fa82a8;p=IRC.git

small change
---

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____