diff options
Diffstat (limited to 'src/proof/abs/absVta.c')
-rw-r--r-- | src/proof/abs/absVta.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/absVta.c b/src/proof/abs/absVta.c index 01680a3f..597e4b72 100644 --- a/src/proof/abs/absVta.c +++ b/src/proof/abs/absVta.c @@ -1439,7 +1439,7 @@ void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose ) pAbs = Gia_ManDupAbsGates( p->pGia, p->pGia->vGateClasses ); Vec_IntFreeP( &p->pGia->vGateClasses ); // send it out - Gia_AigerWrite( pAbs, pFileName, 0, 0 ); + Gia_AigerWrite( pAbs, pFileName, 0, 0, 0 ); Gia_ManStop( pAbs ); } |