From 73c8aa7c400bab320cea56529241e1d396f1e0f5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 1 Sep 2008 08:01:00 -0700 Subject: Version abc80901 --- src/aig/dch/dchSweep.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/dch/dchSweep.c') diff --git a/src/aig/dch/dchSweep.c b/src/aig/dch/dchSweep.c index 019f6707..36c5fc33 100644 --- a/src/aig/dch/dchSweep.c +++ b/src/aig/dch/dchSweep.c @@ -86,6 +86,7 @@ void Dch_ManSweepNode( Dch_Man_t * p, Aig_Obj_t * pObj ) Dch_ManResimulateCex( p, pObj, pObjRepr ); else Dch_ManResimulateCex2( p, pObj, pObjRepr ); + assert( Aig_ObjRepr( p->pAigTotal, pObj ) != pObjRepr ); } /**Function************************************************************* -- cgit v1.2.3