diff options
Diffstat (limited to 'src/base/check.cpp')
| -rw-r--r-- | src/base/check.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/check.cpp b/src/base/check.cpp index 4aa6bfce0..3ecdb0287 100644 --- a/src/base/check.cpp +++ b/src/base/check.cpp @@ -19,7 +19,7 @@ #include <cstdlib> #include <iostream> -namespace CVC5 { +namespace cvc5 { FatalStream::FatalStream(const char* function, const char* file, int line) { @@ -209,4 +209,4 @@ AssertArgumentException::AssertArgumentException(const char* condStr, line); } -} // namespace CVC5 +} // namespace cvc5 |