From a2eb6f9a07f484d6ec941949b2e0e6421d8176dc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Jan 2013 17:26:04 +0700
Subject: Added a fix for the writing an AIG that is not normalized.

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

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 63411013..9958f155 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -955,7 +955,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
     int i, nBufferSize, Pos;
     unsigned char * pBuffer;
     unsigned uLit0, uLit1, uLit;
-    assert( Gia_ManIsNormalized(pInit) );
+//    assert( Gia_ManIsNormalized(pInit) );
 
     if ( Gia_ManCoNum(pInit) == 0 )
     {
-- 
cgit v1.2.3