From a96436e89016fae186fae4c3c8daa46840ae6765 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 14 Mar 2013 19:07:33 +0100 Subject: Commenting out assertion that fails in 'dch', not sure why. --- src/proof/dch/dchChoice.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/proof/dch/dchChoice.c b/src/proof/dch/dchChoice.c index 3f097ecc..e2473de6 100644 --- a/src/proof/dch/dchChoice.c +++ b/src/proof/dch/dchChoice.c @@ -457,7 +457,7 @@ void Dch_DeriveChoiceAigNode( Aig_Man_t * pAigNew, Aig_Man_t * pAigOld, Aig_Obj_ Aig_ObjChild0CopyRepr(pAigNew, pObj), Aig_ObjChild1CopyRepr(pAigNew, pObj) ); pObjNew = Aig_ObjGetRepr( pAigNew, pObjNew ); - assert( Aig_ObjRepr( pAigNew, pObjNew ) == NULL ); +// assert( Aig_ObjRepr( pAigNew, pObjNew ) == NULL ); // assign the copy assert( pObj->pData == NULL ); pObj->pData = pObjNew; -- cgit v1.2.3