diff options
Diffstat (limited to 'src/theory/arith')
-rw-r--r-- | src/theory/arith/theory_arith.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp index 188f73c78..390ac280b 100644 --- a/src/theory/arith/theory_arith.cpp +++ b/src/theory/arith/theory_arith.cpp @@ -1441,7 +1441,7 @@ void TheoryArith::check(Effort effortLevel){ while(!done()){ Constraint curr = constraintFromFactQueue(); if(curr != NullConstraint){ - bool res = assertionCases(curr); + bool res CVC4_UNUSED = assertionCases(curr); Assert(!res || inConflict()); } if(inConflict()){ break; } @@ -1453,7 +1453,7 @@ void TheoryArith::check(Effort effortLevel){ d_learnedBounds.pop(); Debug("arith::learned") << curr << endl; - bool res = assertionCases(curr); + bool res CVC4_UNUSED = assertionCases(curr); Assert(!res || inConflict()); if(inConflict()){ break; } |