X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=f385e560f085cc9af3aec101207f732a7a3ef8e3;hp=b93653becc41d7acf250d7ff1153490fad056d69;hb=e52837077816345a2afa94b42195992a5871824c;hpb=28067adf4ed506b7e38ddf38e522d5a9621bef92;ds=sidebyside

diff --git a/model.cc b/model.cc
index b93653be..f385e560 100644
--- a/model.cc
+++ b/model.cc
@@ -154,9 +154,6 @@ void ModelChecker::reset_to_initial_state()
 	DEBUG("+++ Resetting to initial state +++\n");
 	node_stack->reset_execution();
 
-	/* Print all model-checker output before rollback */
-	fflush(model_out);
-
 	/**
 	 * FIXME: if we utilize partial rollback, we will need to free only
 	 * those pending actions which were NOT pending before the rollback