From 5f77e7ae8fb6ed29812aa67514109d961a61c112 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 22 Mar 2015 11:01:26 +0700
Subject: Bug fix in saving AIG attributes in &save and &load.

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

(limited to 'src')

diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
index 81362276..801d4453 100644
--- a/src/aig/gia/giaDup.c
+++ b/src/aig/gia/giaDup.c
@@ -624,6 +624,12 @@ Gia_Man_t * Gia_ManDupWithAttributes( Gia_Man_t * p )
         pNew->pAigExtra = Gia_ManDup( p->pAigExtra );
     if ( p->nAnd2Delay )
         pNew->nAnd2Delay = p->nAnd2Delay;
+    if ( p->vRegClasses )
+        pNew->vRegClasses = Vec_IntDup( p->vRegClasses );
+    if ( p->vConfigs )
+        pNew->vConfigs = Vec_IntDup( p->vConfigs );
+    if ( p->pCellStr )
+        pNew->pCellStr = Abc_UtilStrsav( p->pCellStr );
     return pNew;
 }
 
-- 
cgit v1.2.3