Added a fix for the writing an AIG that is not normalized.

a2eb6f9a · Alan Mishchenko · 7e598cd2 · a2eb6f9a
Commit a2eb6f9a authored Jan 30, 2013 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/gia/giaAiger.c
+1 -1

No files found.
--- 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 )
    {