diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-24 17:32:36 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-24 17:32:36 -0700 |
| commit | 631baee906490a736edce5526b122074fcfdbf45 (patch) | |
| tree | b27bfd565b7fd834da83089aeb4481d550ff87eb | |
| parent | 6207bf6f342447943624a326ca03f9d471e534a3 (diff) | |
minor
| -rw-r--r-- | src/theory/strings/infer_info.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/theory/strings/infer_info.cpp b/src/theory/strings/infer_info.cpp index e2697e58c..cdf764aa8 100644 --- a/src/theory/strings/infer_info.cpp +++ b/src/theory/strings/infer_info.cpp @@ -14,10 +14,6 @@ #include "theory/strings/infer_info.h" -#include <cstring> - -using namespace CVC4::kind; - namespace CVC4 { namespace theory { namespace strings { |