From 23879f92000601db485d2ea226711df88c6266b9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 5 Sep 2013 20:40:50 -0700 Subject: Unifying parameters for the &ps command. --- src/proof/cec/cecCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/cec') diff --git a/src/proof/cec/cecCore.c b/src/proof/cec/cecCore.c index 051a5126..c77b8fa1 100644 --- a/src/proof/cec/cecCore.c +++ b/src/proof/cec/cecCore.c @@ -401,7 +401,7 @@ p->timeSim += Abc_Clock() - clk; // Gia_AigerWrite( pSrm, "gia_srm.aig", 0, 0 ); if ( pPars->fVeryVerbose ) - Gia_ManPrintStats( pSrm, 0, 0, 0 ); + Gia_ManPrintStats( pSrm, NULL ); if ( Gia_ManCoNum(pSrm) == 0 ) { Gia_ManStop( pSrm ); -- cgit v1.2.3