diff --git a/src/exceptions/BaseException.cpp b/src/exceptions/BaseException.cpp index 8a295b541..0cb03e00f 100644 --- a/src/exceptions/BaseException.cpp +++ b/src/exceptions/BaseException.cpp @@ -18,7 +18,7 @@ namespace storm { // Intentionally left empty. } - const char* BaseException::what() const throw() { + const char* BaseException::what() const { std::string errorString = this->stream.str(); char* result = new char[errorString.size() + 1]; result[errorString.size()] = '\0'; diff --git a/src/exceptions/BaseException.h b/src/exceptions/BaseException.h index f6fb488a0..aae0b208a 100644 --- a/src/exceptions/BaseException.h +++ b/src/exceptions/BaseException.h @@ -32,14 +32,14 @@ namespace storm { /*! * Declare a destructor to counter the "looser throw specificator" error */ - virtual ~BaseException() throw(); + virtual ~BaseException(); /*! * Retrieves the message associated with this exception. * * @return The message associated with this exception. */ - virtual const char* what() const throw(); + virtual const char* what() const noexcept; protected: // This stream stores the message of this exception.