Print to stderr after flushing stdout
Compare changes
+ 6
− 0
@@ -50,6 +50,7 @@
@@ -58,6 +59,7 @@ extern int engine_rank;
@@ -72,6 +74,7 @@ extern int engine_rank;
@@ -84,6 +87,7 @@ extern int engine_rank;
@@ -122,6 +126,7 @@ extern int engine_rank;
@@ -133,6 +138,7 @@ extern int engine_rank;