diff options
Diffstat (limited to 'src/opt/sfm')
-rw-r--r-- | src/opt/sfm/sfmSat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmSat.c b/src/opt/sfm/sfmSat.c index 0d5bbca2..8bcb7f8a 100644 --- a/src/opt/sfm/sfmSat.c +++ b/src/opt/sfm/sfmSat.c @@ -260,7 +260,7 @@ void Sfm_ComputeInterpolantCheck( Sfm_Ntk_t * p ) else if ( uTruth == SFM_SAT_UNDEC ) printf( "The problem is UNDEC.\n" ); else - Kit_DsdPrintFromTruth( (unsigned *)&uTruth, 2 ); printf( "\n" ); + Kit_DsdPrintFromTruth( (unsigned *)&uTruth, 2 ), printf( "\n" ); } } |