small change

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 61d18e1f1ffbc44a302865e20aab366bc56a873f..038e80b32646e19eedfc581b1cfad1a559f06070 100644 (file)
--- 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____