From bc288a76332b1684b0183084aee0a4f46c617b62 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 4 Mar 2019 14:29:57 -0800 Subject: Suggested white-space changes for fewer gcc warnings. --- src/aig/ivy/ivyCheck.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/ivy/ivyCheck.c') diff --git a/src/aig/ivy/ivyCheck.c b/src/aig/ivy/ivyCheck.c index c924e2d0..d8ebb198 100644 --- a/src/aig/ivy/ivyCheck.c +++ b/src/aig/ivy/ivyCheck.c @@ -97,7 +97,7 @@ int Ivy_ManCheck( Ivy_Man_t * p ) pObj2 = Ivy_TableLookup( p, pObj ); if ( pObj2 != pObj ) printf( "Ivy_ManCheck: Latch with ID \"%d\" is not in the structural hashing table.\n", pObj->Id ); - continue; + continue; } // consider the AND node if ( !Ivy_ObjFanin0(pObj) || !Ivy_ObjFanin1(pObj) ) -- cgit v1.2.3