fix warning in arrays rewriter

diff --git a/src/theory/arrays/theory_arrays_rewriter.h b/src/theory/arrays/theory_arrays_rewriter.h
index c51b0433a2c03d3eefca3ddab126ac70825014a5..4402c43ea1a2db23bbffc407b5087f49831ff085 100644 (file)
--- a/src/theory/arrays/theory_arrays_rewriter.h
+++ b/src/theory/arrays/theory_arrays_rewriter.h
@@ -119,7 +119,7 @@ class TheoryArraysRewriter {
 
     TNode mostFrequentValue;
     unsigned mostFrequentValueCount = 0;
-    bool recompute = false;
+    bool recompute CVC4_UNUSED = false;
     if (node[0].getKind() == kind::STORE) {
       // TODO: look up most frequent value and count
       mostFrequentValue = node.getAttribute(ArrayConstantMostFrequentValueAttr());