From f59e9a7f778f123dece6d77cbaa99e90d41544be Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 7 Apr 2017 17:13:47 +0200
Subject: [PATCH] added flushing of cout in STORM_PRINT macro

---
 src/storm/utility/macros.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/utility/macros.h b/src/storm/utility/macros.h
index 3f88e4aa3..348f6677e 100644
--- a/src/storm/utility/macros.h
+++ b/src/storm/utility/macros.h
@@ -56,6 +56,7 @@ do {                                            \
 #define STORM_PRINT(message)                    \
 {                                               \
     std::cout << message;                       \
+    std::cout.flush();                          \
 }
 
 #define STORM_PRINT_AND_LOG(message)            \