From 43ee0cff254c13f98017387261f7bac4a43c4a3d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 17 Sep 2014 09:54:08 -0700 Subject: Spurious assertion. --- src/aig/gia/giaBalAig.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3