From 087951655efdc20b5b4beb64b15edf86a27850a8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 3 Apr 2008 08:01:00 -0700
Subject: Version abc80403

---
 src/sat/fraig/fraigMan.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/fraig/fraigMan.c')

diff --git a/src/sat/fraig/fraigMan.c b/src/sat/fraig/fraigMan.c
index 7fd937d5..12cb5c45 100644
--- a/src/sat/fraig/fraigMan.c
+++ b/src/sat/fraig/fraigMan.c
@@ -369,6 +369,7 @@ void Fraig_ManPrintStats( Fraig_Man_t * p )
     if ( p->time4 > 0 ) { Fraig_PrintTime( "time4", p->time4 ); }
 //    PRT( "Selection ", timeSelect );
 //    PRT( "Assignment", timeAssign );
+    fflush( stdout );
 }
 
 /**Function*************************************************************
-- 
cgit v1.2.3