From 0fb11ee5999c70f8c30cf8081ddbb3eca6ded0b1 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 24 Aug 2012 01:03:20 +0000
Subject: [PATCH] fix warning in arrays rewriter

---
 src/theory/arrays/theory_arrays_rewriter.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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());
-- 
2.30.2