diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-24 01:03:20 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-24 01:03:20 +0000 |
commit | 0fb11ee5999c70f8c30cf8081ddbb3eca6ded0b1 (patch) | |
tree | 90f367b8033cae9d91df318414f709dbb27488ec | |
parent | 9de66957df6448ba1243cdb7cc84813fe82e69d5 (diff) |
fix warning in arrays rewriter
-rw-r--r-- | src/theory/arrays/theory_arrays_rewriter.h | 2 |
1 files changed, 1 insertions, 1 deletions
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()); |