From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 14 Apr 2011 19:11:42 +0000 (+0000)
Subject: fixing an uninitialized literal variable
X-Git-Tag: cvc5-1.0.0~8599
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7e289e28e54afa144032048443202a88fa124cb5;p=cvc5.git

fixing an uninitialized literal variable
---

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]);