diff options
Diffstat (limited to 'src/aig/fra/fraClaus.c')
-rw-r--r-- | src/aig/fra/fraClaus.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/fra/fraClaus.c b/src/aig/fra/fraClaus.c index 6f0a2012..91b70702 100644 --- a/src/aig/fra/fraClaus.c +++ b/src/aig/fra/fraClaus.c @@ -813,7 +813,9 @@ clk = clock(); p->nClauses = Vec_IntSize( p->vClauses ); if ( Vec_IntSize( p->vClausesProven ) > 0 ) { - int RetValue, k, Beg, End, * pStart; + int RetValue, k, Beg; + int End = -1; // Suppress "might be used uninitialized" + int * pStart; // reset the solver if ( p->pSatMain ) sat_solver_delete( p->pSatMain ); p->pSatMain = Cnf_DataWriteIntoSolver( p->pCnf, 1, 0 ); |