From c53c9c3c10a2d3f875f5b6adfb45dd8aa42efab5 Mon Sep 17 00:00:00 2001
From: Andres Notzli <andres.noetzli@gmail.com>
Date: Tue, 14 Mar 2017 11:32:26 -0700
Subject: [PATCH] fix uninitialized variable

---
 src/proof/theory_proof.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/theory_proof.cpp b/src/proof/theory_proof.cpp
index 65f66ce29..e245117fd 100644
--- a/src/proof/theory_proof.cpp
+++ b/src/proof/theory_proof.cpp
@@ -929,7 +929,7 @@ void LFSCTheoryProofEngine::printCoreTerm(Expr term, std::ostream& os, const Pro
     // arguments, so we have to flatten chained operators, like =.
     Kind op = term.getOperator().getConst<Chain>().getOperator();
     std::string op_str;
-    bool booleanCase;
+    bool booleanCase = false;
     if (op==kind::EQUAL && term[0].getType().isBoolean()) {
       booleanCase = term[0].getType().isBoolean();
       op_str = "iff";
-- 
2.30.2