From 03cd9e196b89d993f508a9aa5d4e6694c070e020 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 12 Nov 2011 22:30:41 -0800
Subject: Temporary debugging change.

---
 src/map/if/ifDec16.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/map/if/ifDec16.c')

diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c
index d5ccf988..895051da 100644
--- a/src/map/if/ifDec16.c
+++ b/src/map/if/ifDec16.c
@@ -721,6 +721,7 @@ void If_CluVerify3( word * pF, int nVars, If_Grp_t * g, If_Grp_t * g2, If_Grp_t
         Kit_DsdPrintFromTruth( (unsigned*)pF, nVars ); printf( "\n" );
 //        Extra_PrintHex( stdout, (unsigned *)pF, nVars ); printf( "\n" );
         printf( "Verification FAILED!\n" );
+        fflush( stdout );
         exit(1);
     }
 //    else
-- 
cgit v1.2.3