From: Andres Notzli <andres.noetzli@gmail.com>
Date: Tue, 14 Mar 2017 18:32:26 +0000 (-0700)
Subject: fix uninitialized variable
X-Git-Tag: cvc5-1.0.0~5892^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c53c9c3c10a2d3f875f5b6adfb45dd8aa42efab5;p=cvc5.git

fix uninitialized variable
---

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";