Bug fix in 'blockpo'.

ccf3cadd · Alan Mishchenko · a735d95a · ccf3cadd
Commit ccf3cadd authored May 07, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/aig/saig/saigDual.c
+1 -0

No files found.
--- 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 );
 }

 ////////////////////////////////////////////////////////////////////////