diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-04-14 19:11:42 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-04-14 19:11:42 +0000 |
| commit | 7e289e28e54afa144032048443202a88fa124cb5 (patch) | |
| tree | a2eb92cb39704346d1159b8e533499d3429dbbab /src/prop | |
| parent | 08c5c6410ab89ffc1b7326347d11009e216676aa (diff) | |
fixing an uninitialized literal variable
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/minisat/core/Solver.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/minisat/core/Solver.cc b/src/prop/minisat/core/Solver.cc index 02eecf858..1e334f7e4 100644 --- a/src/prop/minisat/core/Solver.cc +++ b/src/prop/minisat/core/Solver.cc @@ -717,7 +717,7 @@ CRef Solver::theoryCheck(CVC4::theory::Theory::Effort effort) int max_level = 0; int max_intro_level = 0; int i, j = 0; - Lit p; + Lit p = lit_Undef; for (i = 0; i < clause_size; ++i) { if (clause[i] == p) continue; Var v = var(clause[i]); |