fix uninitialized variable

diff --git a/src/proof/theory_proof.cpp b/src/proof/theory_proof.cpp
index 65f66ce29980bf44ff7d368c67eb43eb6b03d2a0..e245117fd96c3aec1094736945d763bf10ba8d53 100644 (file)
--- 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";