From 9e307901c7fd910de11bf9e124dbf98dee5d8b45 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 22 Jul 2011 20:29:26 +0700
Subject: Added support for constraints in AIGER (bug fix).

---
 src/aig/gia/giaAiger.c | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 398ae95b..5b78dbfb 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -897,8 +897,13 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
         Vec_IntFreeP( &vPoTypes );
     }
 
-//    pNew = Gia_ManCleanup( pTemp = pNew );
-//    Gia_ManStop( pTemp );
+    {
+        Vec_Int_t * vFlopMap;
+        vFlopMap = pNew->vFlopClasses; pNew->vFlopClasses = NULL;
+        pNew = Gia_ManCleanup( pTemp = pNew );
+        Gia_ManStop( pTemp );
+        pNew->vFlopClasses = vFlopMap;
+    }
     return pNew;
 }
 
-- 
cgit v1.2.3