diff options
Diffstat (limited to 'src/util/regexp.cpp')
| -rw-r--r-- | src/util/regexp.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/regexp.cpp b/src/util/regexp.cpp index 5df83b1ce..ef08da6fa 100644 --- a/src/util/regexp.cpp +++ b/src/util/regexp.cpp @@ -16,7 +16,7 @@ #include <ostream> -namespace CVC5 { +namespace cvc5 { RegExpRepeat::RegExpRepeat(uint32_t repeatAmount) : d_repeatAmount(repeatAmount) { @@ -57,4 +57,4 @@ std::ostream& operator<<(std::ostream& os, const RegExpLoop& r) return os << "[" << r.d_loopMinOcc << ".." << r.d_loopMaxOcc << "]"; } -} // namespace CVC5 +} // namespace cvc5 |