From f8a06b69f5e55fe346fb1c38c1dc679fe7853de2 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 27 Nov 2014 11:40:34 +0100
Subject: [PATCH] Fixed a clang-warning related to a throws declaration.

Former-commit-id: 933ad7925a2a42482192bd1b95468db1b8f10685
---
 src/exceptions/BaseException.cpp | 2 +-
 src/exceptions/BaseException.h   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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.