From 7e289e28e54afa144032048443202a88fa124cb5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Thu, 14 Apr 2011 19:11:42 +0000
Subject: [PATCH] fixing an uninitialized literal variable

---
 src/prop/minisat/core/Solver.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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