From 004633b79ac6914128f16f4e628eae76376f4253 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sat, 12 Jan 2013 13:37:25 +0100
Subject: [PATCH] fixed brackets in BaseException

---
 src/exceptions/BaseException.h | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/src/exceptions/BaseException.h b/src/exceptions/BaseException.h
index d3f9308ff..c1b6ee054 100644
--- a/src/exceptions/BaseException.h
+++ b/src/exceptions/BaseException.h
@@ -8,13 +8,11 @@ namespace storm {
 namespace exceptions {
 
 template<typename E>
-class BaseException : public std::exception
-{
+class BaseException : public std::exception {
 	public:
 		BaseException() : exception() {}
 		BaseException(const BaseException& cp)
-			: exception(cp), stream(cp.stream.str())
-		{
+			: exception(cp), stream(cp.stream.str()) {
 		}
 
 		BaseException(const char* cstr) {
@@ -24,14 +22,12 @@ class BaseException : public std::exception
 		~BaseException() throw() { }
 		
 		template<class T>
-		E& operator<<(const T& var)
-		{
+		E& operator<<(const T& var) {
 			this->stream << var;
 			return * dynamic_cast<E*>(this);
 		}
 		
-		virtual const char* what() const throw()
-		{
+		virtual const char* what() const throw() {
 			return this->stream.str().c_str();
 		}