diff options
Diffstat (limited to 'src/aig/saig')
-rw-r--r-- | src/aig/saig/saigDual.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/saig/saigDual.c b/src/aig/saig/saigDual.c index 7a50d4f6..16fae8d1 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 ); } //////////////////////////////////////////////////////////////////////// |