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)            \