From fff82d4d912b19ad2f77f7e4bb28e4d250c6054d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 8 Sep 2018 08:57:41 +0300 Subject: Expriments with functions. --- src/opt/dau/dauNpn.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 23b1df69..a19c438d 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -519,6 +519,7 @@ void Dau_TablesSave( int nInputs, int nVars, Vec_Mem_t * vTtMem, Vec_Mem_t * vTt fwrite( Vec_IntArray(vNodSup), 4, Vec_IntSize(vNodSup), pFile ); fclose( pFile ); printf( "Dumped files with %10d functions and %10d classes.\n", Vec_IntSize(vMapping), Vec_IntSize(vNodSup) ); + fflush(stdout); } void Dau_TablesLoad( int nInputs, int nVars, Vec_Mem_t * vTtMem, Vec_Mem_t * vTtMemA, Vec_Int_t * vNodSup, Vec_Int_t * vMapping ) { -- cgit v1.2.3