fixing an uninitialized literal variable

diff --git a/src/prop/minisat/core/Solver.cc b/src/prop/minisat/core/Solver.cc
index 02eecf858faca1af79903bea87f8e77c1b5e1a2c..1e334f7e46c2180cdd8c6c1c2a20c9cf4424b79e 100644 (file)
--- 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]);