diff options
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); } |