1 files changed, 1 insertions, 0 deletions
diff --git a/029tools.cc b/029tools.cc
index 92f551b3..0e14b1d4 100644
--- a/029tools.cc
+++ b/029tools.cc
@@ -251,6 +251,7 @@ case _PRINT: {
       }
     }
   }
+  cout.flush();
   break;
 }