From 7bcd5ac979fc14101a6eb9ee34940f272009c67f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 17 Apr 2011 19:11:57 -0700
Subject: Changes to incorporate AIG parsing in memory and user-specified
 PI/PO/FF numbers.

---
 src/aig/gia/giaAbs.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/aig/gia/giaAbs.c')

diff --git a/src/aig/gia/giaAbs.c b/src/aig/gia/giaAbs.c
index d31e62f5..7c20851d 100644
--- a/src/aig/gia/giaAbs.c
+++ b/src/aig/gia/giaAbs.c
@@ -138,8 +138,8 @@ Gia_Man_t * Gia_ManCexAbstraction( Gia_Man_t * p, Vec_Int_t * vFlops )
     pNew = Saig_ManDeriveAbstraction( pTemp = pNew, vFlops );
     Aig_ManStop( pTemp );
     pGia = Gia_ManFromAig( pNew );
-    pGia->vCiNumsOrig = pNew->vCiNumsOrig; 
-    pNew->vCiNumsOrig = NULL;
+//    pGia->vCiNumsOrig = pNew->vCiNumsOrig; 
+//    pNew->vCiNumsOrig = NULL;
     Aig_ManStop( pNew );
     return pGia;
 
-- 
cgit v1.2.3