diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaBalAig.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaBalAig.c b/src/aig/gia/giaBalAig.c index b0d35cb8..74ff84ba 100644 --- a/src/aig/gia/giaBalAig.c +++ b/src/aig/gia/giaBalAig.c @@ -719,7 +719,7 @@ Gia_Man_t * Dam_ManMultiAig( Dam_Man_t * pMan ) Dam_ManMultiAig_rec( pMan, pNew, p, Gia_ObjFanin0(pObj) ); pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) ); } - assert( Gia_ManObjNum(pNew) <= Gia_ManObjNum(p) ); +// assert( Gia_ManObjNum(pNew) <= Gia_ManObjNum(p) ); Gia_ManHashStop( pNew ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); // perform cleanup |