Commenting out an assertion.

46fbad86 · Alan Mishchenko · a14e2c92 · 46fbad86
Commit 46fbad86 authored Aug 10, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

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

No files found.
--- a/src/aig/gia/giaAig.c
+++ b/src/aig/gia/giaAig.c
@@ -153,7 +153,7 @@ Gia_Man_t * Gia_ManFromAigChoices( Aig_Man_t * p )
    Aig_ManForEachCo( p, pObj, i )
        Gia_ManAppendCo( pNew, Gia_ObjChild0Copy(pObj) );
    Gia_ManSetRegNum( pNew, Aig_ManRegNum(p) );
-    assert( Gia_ManObjNum(pNew) == Aig_ManObjNum(p) );
+    //assert( Gia_ManObjNum(pNew) == Aig_ManObjNum(p) );
    return pNew;
 }