diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-07-24 09:32:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-24 09:32:14 -0500 |
| commit | afe40162490ac54e1741e80d43496268ae76201d (patch) | |
| tree | 3eec0ce98cd8dbffb5cb1dc3d0d3a884a158d6bc /src/theory/strings/regexp_solver.cpp | |
| parent | 5f384849d20c915374c7b189a232c5d811c186ef (diff) | |
Move string util functions (#3115)
Diffstat (limited to 'src/theory/strings/regexp_solver.cpp')
| -rw-r--r-- | src/theory/strings/regexp_solver.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/strings/regexp_solver.cpp b/src/theory/strings/regexp_solver.cpp index 65d616c3c..49dd1ead6 100644 --- a/src/theory/strings/regexp_solver.cpp +++ b/src/theory/strings/regexp_solver.cpp @@ -21,6 +21,7 @@ #include "options/strings_options.h" #include "theory/strings/theory_strings.h" #include "theory/strings/theory_strings_rewriter.h" +#include "theory/strings/theory_strings_utils.h" #include "theory/theory_model.h" using namespace std; @@ -438,7 +439,7 @@ bool RegExpSolver::deriveRegExp(Node x, { vec_nodes.push_back(x[i]); } - Node left = TheoryStringsRewriter::mkConcat(STRING_CONCAT, vec_nodes); + Node left = utils::mkConcat(STRING_CONCAT, vec_nodes); left = Rewriter::rewrite(left); conc = NodeManager::currentNM()->mkNode(STRING_IN_REGEXP, left, dc); } |