From 9eb8184e7478b357c62d41546c1c065549b7dd7d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 21 May 2015 07:40:47 -0700
Subject: Copying prog cell data.

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

(limited to 'src/aig')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 487460bd..45d2b49f 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -2043,6 +2043,11 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
         p->vNamesIn     = pGia->vNamesIn;     pGia->vNamesIn     = NULL;
         p->vNamesOut    = pGia->vNamesOut;    pGia->vNamesOut    = NULL;
     }
+    if ( pGia->vConfigs || pGia->pCellStr )
+    {
+        p->vConfigs     = pGia->vConfigs;     pGia->vConfigs     = NULL;
+        p->pCellStr     = pGia->pCellStr;     pGia->pCellStr     = NULL;
+    }
     if ( pGia->pManTime == NULL || p == pGia )
         return;
     p->pManTime    = pGia->pManTime;    pGia->pManTime    = NULL;
-- 
cgit v1.2.3