diff options
| -rw-r--r-- | src/proof/theory_proof.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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"; |