diff options
Diffstat (limited to 'src/base/exception.h')
-rw-r--r-- | src/base/exception.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/exception.h b/src/base/exception.h index a0ad0819c..99404b45e 100644 --- a/src/base/exception.h +++ b/src/base/exception.h @@ -25,7 +25,7 @@ #include "cvc4_export.h" -namespace CVC5 { +namespace cvc5 { class Exception : public std::exception { @@ -122,14 +122,14 @@ inline void CheckArgument(bool cond, const T& arg, const char* tail); template <class T> inline void CheckArgument(bool cond, const T& arg CVC4_UNUSED, const char* tail CVC4_UNUSED) { if(__builtin_expect( ( !cond ), false )) { - throw ::CVC5::IllegalArgumentException("", "", tail); + throw ::cvc5::IllegalArgumentException("", "", tail); } \ } template <class T> inline void CheckArgument(bool cond, const T& arg); template <class T> inline void CheckArgument(bool cond, const T& arg CVC4_UNUSED) { if(__builtin_expect( ( !cond ), false )) { - throw ::CVC5::IllegalArgumentException("", "", ""); + throw ::cvc5::IllegalArgumentException("", "", ""); } \ } @@ -159,6 +159,6 @@ private: static thread_local LastExceptionBuffer* s_currentBuffer; }; /* class LastExceptionBuffer */ -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__EXCEPTION_H */ |