diff options
Diffstat (limited to 'src/base/modal_exception.h')
| -rw-r--r-- | src/base/modal_exception.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/modal_exception.h b/src/base/modal_exception.h index bfd5c9469..eab6c66b1 100644 --- a/src/base/modal_exception.h +++ b/src/base/modal_exception.h @@ -24,9 +24,9 @@ #include "base/exception.h" -namespace CVC4 { +namespace CVC5 { -class ModalException : public CVC4::Exception +class ModalException : public CVC5::Exception { public: ModalException() : @@ -50,7 +50,7 @@ class ModalException : public CVC4::Exception * TODO(#1108): This exception should not be needed anymore in future versions * of the public API. */ -class RecoverableModalException : public CVC4::ModalException +class RecoverableModalException : public CVC5::ModalException { public: RecoverableModalException(const std::string& msg) : ModalException(msg) {} @@ -58,6 +58,6 @@ class RecoverableModalException : public CVC4::ModalException RecoverableModalException(const char* msg) : ModalException(msg) {} }; /* class RecoverableModalException */ -}/* CVC4 namespace */ +} // namespace CVC5 #endif /* CVC4__SMT__MODAL_EXCEPTION_H */ |