diff --git a/src/aig/saig/saigDual.c b/src/aig/saig/saigDual.c index 7a50d4f69..16fae8d1a 100644 --- a/src/aig/saig/saigDual.c +++ b/src/aig/saig/saigDual.c @@ -228,6 +228,7 @@ void Saig_ManBlockPo( Aig_Man_t * pAig, int nCycles ) } // set the flops Aig_ManSetRegNum( pAig, Aig_ManRegNum(pAig) + nCycles ); + Aig_ManCleanup( pAig ); } ////////////////////////////////////////////////////////////////////////