From c324e6a40974040c02c8c9f948dbb332401b624c Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Thu, 13 Jun 2019 01:33:17 -0500
Subject: [PATCH] Fix warning (#3053)

---
 src/proof/er/er_proof.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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;
     }
-- 
2.30.2