diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-10-04 12:21:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-04 12:21:16 -0500 |
| commit | 7b76222cacbdb906dca1543b53e0f113dc1e1826 (patch) | |
| tree | 517ee09dd249bc14b12b33b63fdca390e945384d /src/theory/strings | |
| parent | 0fb4d4e9ac57e084ef456548358439cc07d2c7d3 (diff) | |
Clean remaining references to getNextDecisionRequest and simplify (#2500)
Diffstat (limited to 'src/theory/strings')
| -rw-r--r-- | src/theory/strings/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/kinds b/src/theory/strings/kinds index de4a013cd..7fb2d26c6 100644 --- a/src/theory/strings/kinds +++ b/src/theory/strings/kinds @@ -6,7 +6,7 @@ theory THEORY_STRINGS ::CVC4::theory::strings::TheoryStrings "theory/strings/theory_strings.h" -properties check parametric propagate getNextDecisionRequest presolve +properties check parametric propagate presolve rewriter ::CVC4::theory::strings::TheoryStringsRewriter "theory/strings/theory_strings_rewriter.h" |