From f6a3c28e88121e8b4324b87ca2d316172ffe16e4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Jul 2015 21:22:27 -0700
Subject: Temp change in the AIG reader and minor tuning.

---
 src/base/abci/abc.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index e91670f5..de338264 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -26961,7 +26961,11 @@ int Abc_CommandAbc9Strash( Abc_Frame_t * pAbc, int argc, char ** argv )
 //            printf( "Rehashed the current AIG.\n" );
     }
     if ( !(fCollapse && pAbc->pGia->pAigExtra) )
+    {
         Gia_ManTransferTiming( pTemp, pAbc->pGia );
+        pAbc->pGia->vConfigs = pTemp->vConfigs;     pTemp->vConfigs = NULL;
+        pAbc->pGia->pCellStr = pTemp->pCellStr;     pTemp->pCellStr = NULL;
+    }
     Abc_FrameUpdateGia( pAbc, pTemp );
     return 0;
 
-- 
cgit v1.2.3