diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-11 15:53:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-11 15:53:59 -0700 |
| commit | 83f1f27307acd78859087bd0bbf5cfd5d4102d90 (patch) | |
| tree | 008608eab371b197fb92a6703dce694778ade049 /src/sat/bsat | |
| parent | 719396a2fff862a9a4dfb4e6e53a1c425934e288 (diff) | |
| download | abc-83f1f27307acd78859087bd0bbf5cfd5d4102d90.tar.gz abc-83f1f27307acd78859087bd0bbf5cfd5d4102d90.tar.bz2 abc-83f1f27307acd78859087bd0bbf5cfd5d4102d90.zip | |
Silencing warnings.
Diffstat (limited to 'src/sat/bsat')
| -rw-r--r-- | src/sat/bsat/satSolver2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index bcd1921d..86ba6ed5 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1353,7 +1353,7 @@ void sat_solver2_reducedb(sat_solver2* s) { static clock_t TimeTotal = 0; Sat_Mem_t * pMem = &s->Mem; - clause * c; + clause * c = NULL; int nLearnedOld = veci_size(&s->act_clas); int * act_clas = veci_begin(&s->act_clas); int * pPerm, * pSortValues, nCutoffValue, * pClaProofs; |