From 303baf27cf34c2a57db97c4c567fd744241fa14b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 2 Jul 2008 08:01:00 -0700 Subject: Version abc80702 --- src/sat/msat/msatRead.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat/msat/msatRead.c') diff --git a/src/sat/msat/msatRead.c b/src/sat/msat/msatRead.c index 738562ef..20453fed 100644 --- a/src/sat/msat/msatRead.c +++ b/src/sat/msat/msatRead.c @@ -196,8 +196,8 @@ static void Msat_ReadClause( char ** pIn, Msat_Solver_t * p, Msat_IntVec_t * pLi ***********************************************************************/ static bool Msat_ReadDimacs( char * pText, Msat_Solver_t ** pS, bool fVerbose ) { - Msat_Solver_t * p; - Msat_IntVec_t * pLits; + Msat_Solver_t * p = NULL; // Suppress "might be used uninitialized" + Msat_IntVec_t * pLits = NULL; // Suppress "might be used uninitialized" char * pIn = pText; int nVars, nClas; while ( 1 ) -- cgit v1.2.3