diff options
Diffstat (limited to 'src')
| -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()); |