diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 20:40:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 20:40:50 -0700 |
| commit | 23879f92000601db485d2ea226711df88c6266b9 (patch) | |
| tree | 6c8ffe04300dbbcae032cda66e372b40cef7c721 /src/sat/bsat/satSolver2i.c | |
| parent | 9d14b0c094cc0509bf167166e6fbddeb0f8ba954 (diff) | |
| download | abc-23879f92000601db485d2ea226711df88c6266b9.tar.gz abc-23879f92000601db485d2ea226711df88c6266b9.tar.bz2 abc-23879f92000601db485d2ea226711df88c6266b9.zip | |
Unifying parameters for the &ps command.
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 |