diff options
| -rw-r--r-- | src/proof/er/er_proof.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/proof/er/er_proof.cpp b/src/proof/er/er_proof.cpp index 9160546f9..7b966f2c6 100644 --- a/src/proof/er/er_proof.cpp +++ b/src/proof/er/er_proof.cpp @@ -333,7 +333,7 @@ prop::SatLiteral resolveModify( std::unordered_set<prop::SatLiteral, prop::SatLiteralHashFunction>& dest, const prop::SatClause& src) { - bool foundPivot = false; + CVC4_UNUSED bool foundPivot = false; prop::SatLiteral pivot(0, false); for (prop::SatLiteral lit : src) @@ -341,8 +341,10 @@ prop::SatLiteral resolveModify( auto negationLocation = dest.find(~lit); if (negationLocation != dest.end()) { +#ifdef CVC4_ASSERTIONS Assert(!foundPivot); foundPivot = true; +#endif dest.erase(negationLocation); pivot = ~lit; } |