From dca14d5678996344a1ea5a0a70c3760e662487cd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 25 Nov 2014 14:28:49 -0800
Subject: Improvements to handling boxes and flops.

---
 src/aig/gia/giaMfs.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c
index 3fd9d04c..32322ab2 100644
--- a/src/aig/gia/giaMfs.c
+++ b/src/aig/gia/giaMfs.c
@@ -345,6 +345,9 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk )
     // update extra STG
     if ( p->pAigExtra )
         pNew->pAigExtra = Gia_ManUpdateExtraAig2( p->pManTime, p->pAigExtra, vBoxesLeft );
+    // duplicated flops
+    if ( p->vRegClasses )
+        pNew->vRegClasses = Vec_IntDup( p->vRegClasses );
 
     // cleanup
     Vec_WecFree( vGroups );
-- 
cgit v1.2.3