From 46fbad869e482727fbb57a3c1223ba0fd6b25d49 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 10 Aug 2015 11:43:28 -0700 Subject: Commenting out an assertion. --- src/aig/gia/giaAig.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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; } -- cgit v1.2.3