From 8ad4a10fae6288a5aa90621d48e8fa49631fd6c7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 9 Aug 2012 18:07:00 -0700 Subject: Compiler warnings. --- src/aig/gia/giaAbsGla.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia/giaAbsGla.c') diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 822b7b47..25a3ebf7 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -1853,7 +1853,7 @@ int Gia_GlaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars, int fStartVta ) Gla_Man_t * p; Vec_Int_t * vPPis, * vCore;//, * vCore2 = NULL; Abc_Cex_t * pCex = NULL; - int f, i, iPrev, nConfls, Status, nVarsOld, nCoreSize, fOneIsSent = 0, RetValue = -1; + int f, i, iPrev, nConfls, Status, nVarsOld = 0, nCoreSize, fOneIsSent = 0, RetValue = -1; clock_t clk2, clk = clock(); // preconditions assert( Gia_ManPoNum(pAig) == 1 ); -- cgit v1.2.3