From 4b7fc20dcce9eefdf568937f5e2c54141c4f5c5b Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Fri, 27 Mar 2020 14:04:44 -0500 Subject: Move string utility file (#4164) Moves the string file to string.h. This is required since other required utilities will soon need to be added to regexp.h. --- src/theory/strings/word.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/strings/word.cpp') diff --git a/src/theory/strings/word.cpp b/src/theory/strings/word.cpp index dd573b68c..0faeffd99 100644 --- a/src/theory/strings/word.cpp +++ b/src/theory/strings/word.cpp @@ -14,7 +14,7 @@ #include "theory/strings/word.h" -#include "util/regexp.h" +#include "util/string.h" using namespace CVC4::kind; -- cgit v1.2.3