From 49f2ec22b91512c00f41fdb51dfd18b5af34bd3e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 9 Sep 2014 22:50:15 -0700
Subject: Bug fix in transferring timing info.

---
 src/aig/gia/giaIf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index beb9f231..d3239299 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -1673,7 +1673,7 @@ void Gia_ManTransferPacking( Gia_Man_t * p, Gia_Man_t * pGia )
 }
 void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
 {
-    if ( pGia->pManTime == NULL )
+    if ( pGia->pManTime == NULL || p == pGia )
         return;
     p->pManTime   = pGia->pManTime;   pGia->pManTime   = NULL;
     p->pAigExtra  = pGia->pAigExtra;  pGia->pAigExtra  = NULL;
-- 
cgit v1.2.3