diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-14 11:32:26 -0700 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-14 11:32:26 -0700 |
| commit | c53c9c3c10a2d3f875f5b6adfb45dd8aa42efab5 (patch) | |
| tree | 1cecc99635d82cc3e8022bc7bf2da3f0bacd5b27 /src/proof/theory_proof.cpp | |
| parent | 8ae19f695b59445f049020984b87e34433a38ad9 (diff) | |
fix uninitialized variable
Diffstat (limited to 'src/proof/theory_proof.cpp')
| -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"; |