diff options
| -rw-r--r-- | src/aig/gia/giaAig.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAig.c b/src/aig/gia/giaAig.c index 23ffed99..3cf01c70 100644 --- 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; } |