diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-19 11:17:27 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-19 11:17:27 -0500 |
| commit | 4a0637be2548b2ee4c29873c045246cb36e8d122 (patch) | |
| tree | 748b7728e39736ae22b8f5fcb71bb1bff3e77130 /src/theory/arrays/kinds | |
| parent | d7f70ffac0731b7ce5a9d9115e5a5a9717d9174f (diff) | |
Decision strategy: incorporate arrays. (#2495)
Diffstat (limited to 'src/theory/arrays/kinds')
| -rw-r--r-- | src/theory/arrays/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arrays/kinds b/src/theory/arrays/kinds index 2ae658e6b..1adbdb0b2 100644 --- a/src/theory/arrays/kinds +++ b/src/theory/arrays/kinds @@ -8,7 +8,7 @@ theory THEORY_ARRAYS ::CVC4::theory::arrays::TheoryArrays "theory/arrays/theory_ typechecker "theory/arrays/theory_arrays_type_rules.h" properties polite stable-infinite parametric -properties check propagate presolve getNextDecisionRequest +properties check propagate presolve rewriter ::CVC4::theory::arrays::TheoryArraysRewriter "theory/arrays/theory_arrays_rewriter.h" |