diff options
Diffstat (limited to 'src/sat/bsat/satSolver2i.c')
| -rw-r--r-- | src/sat/bsat/satSolver2i.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2i.c b/src/sat/bsat/satSolver2i.c index 79afd310..5ce6b485 100644 --- a/src/sat/bsat/satSolver2i.c +++ b/src/sat/bsat/satSolver2i.c @@ -220,7 +220,7 @@ Gia_Man_t * Gia_ManInterTest( Gia_Man_t * p ) // derive interpolant pInter = (Gia_Man_t *)Int2_ManReadInterpolant( pSat ); - Gia_ManPrintStats( pInter, 0, 0, 0 ); + Gia_ManPrintStats( pInter, NULL ); Abc_PrintTime( 1, "Total interpolation time", Abc_Clock() - clk ); // clean up |