From ccf3caddb802d7140991a5ee34f76e03ae1a4c1d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 7 May 2013 18:39:24 -0700
Subject: Bug fix in 'blockpo'.

---
 src/aig/saig/saigDual.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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 );
 }
 
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3