diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-03-23 15:23:00 -0500 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-03-23 13:23:00 -0700 |
| commit | d13b2981520e3d39039e8eb2c3c844de473a1e7c (patch) | |
| tree | 7be3fe248f9d009a71e1470e5d63641c4b33c5a4 /src/util/regexp.cpp | |
| parent | f3d010e07f30dd658d4532a43b3813654376162d (diff) | |
Remove abstract regular expression constant (#1698)
Diffstat (limited to 'src/util/regexp.cpp')
| -rw-r--r-- | src/util/regexp.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/util/regexp.cpp b/src/util/regexp.cpp index a7e5131ec..9aaad522a 100644 --- a/src/util/regexp.cpp +++ b/src/util/regexp.cpp @@ -404,8 +404,4 @@ std::ostream &operator<<(std::ostream &os, const String &s) { return os << "\"" << s.toString(true) << "\""; } -std::ostream &operator<<(std::ostream &out, const RegExp &s) { - return out << "regexp(" << s.getType() << ')'; -} - } // namespace CVC4 |