From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 24 Aug 2012 01:03:20 +0000 (+0000)
Subject: fix warning in arrays rewriter
X-Git-Tag: cvc5-1.0.0~7849
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0fb11ee5999c70f8c30cf8081ddbb3eca6ded0b1;p=cvc5.git

fix warning in arrays rewriter
---

diff --git a/src/theory/arrays/theory_arrays_rewriter.h b/src/theory/arrays/theory_arrays_rewriter.h
index c51b0433a..4402c43ea 100644
--- 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());