diff options
| -rw-r--r-- | src/aig/gia/giaAiger.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) { |