From 2c37498bfb297c00e9b5eee8472acc134d9aba73 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 21 Oct 2015 23:53:42 -0700 Subject: Compiler warnings. --- src/proof/ssc/sscClass.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') diff --git a/src/proof/ssc/sscClass.c b/src/proof/ssc/sscClass.c index c6b96a90..59540cc2 100644 --- a/src/proof/ssc/sscClass.c +++ b/src/proof/ssc/sscClass.c @@ -281,7 +281,7 @@ int Ssc_GiaClassesRefine( Gia_Man_t * p ) Vec_Int_t * vRefinedC; Gia_Obj_t * pObj; int i, Counter = 0; - if ( p->pReprs != NULL ); + assert( p->pReprs != NULL ); vRefinedC = Vec_IntAlloc( 100 ); Gia_ManForEachCand( p, pObj, i ) if ( Gia_ObjIsTail(p, i) ) -- cgit v1.2.3