diff options
Diffstat (limited to 'src/aig/saig/saigConstr.c')
| -rw-r--r-- | src/aig/saig/saigConstr.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/aig/saig/saigConstr.c b/src/aig/saig/saigConstr.c index b4024634..d58074e3 100644 --- a/src/aig/saig/saigConstr.c +++ b/src/aig/saig/saigConstr.c @@ -57,7 +57,11 @@ Aig_Man_t * Saig_ManDupUnfoldConstrs( Aig_Man_t * pAig ) int i, RetValue; RetValue = Saig_ManDetectConstr( pAig, &vOuts, &vCons ); if ( RetValue == 0 ) + { + Vec_PtrFreeP( &vOuts ); + Vec_PtrFreeP( &vCons ); return Aig_ManDupDfs( pAig ); + } // start the new manager pAigNew = Aig_ManStart( Aig_ManNodeNum(pAig) ); pAigNew->pName = Aig_UtilStrsav( pAig->pName ); |