diff options
Diffstat (limited to 'src/proof/acec/acecCore.c')
-rw-r--r-- | src/proof/acec/acecCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/acec/acecCore.c b/src/proof/acec/acecCore.c index 1a575fb..033fbc3 100644 --- a/src/proof/acec/acecCore.c +++ b/src/proof/acec/acecCore.c @@ -527,7 +527,7 @@ int Acec_Solve( Gia_Man_t * pGia0, Gia_Man_t * pGia1, Acec_ParCec_t * pPars ) if ( fDumpMiter ) { Abc_Print( 0, "The verification miter is written into file \"%s\".\n", "acec_miter.aig" ); - Gia_AigerWrite( pMiter, "acec_miter.aig", 0, 0 ); + Gia_AigerWrite( pMiter, "acec_miter.aig", 0, 0, 0 ); } status = Cec_ManVerify( pMiter, pCecPars ); ABC_SWAP( Abc_Cex_t *, pGia0->pCexComb, pMiter->pCexComb ); |