From 6fde42850dcf348e9bedadf46a239fbc95486196 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 10 Sep 2014 14:57:22 +0200
Subject: [PATCH] fix for gcc 4.9

Former-commit-id: d6f8d87a63c56b61e0e7899ecb832b873f840990
---
 src/models/AbstractModel.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/models/AbstractModel.h b/src/models/AbstractModel.h
index 05296c584..67d495408 100644
--- a/src/models/AbstractModel.h
+++ b/src/models/AbstractModel.h
@@ -309,7 +309,7 @@ class AbstractModel: public std::enable_shared_from_this<AbstractModel<T>> {
 		 * @return True if this model has a state reward model.
 		 */
 		bool hasStateRewards() const {
-			return stateRewardVector;
+			return static_cast<bool>(stateRewardVector);
 		}
 
 		/*!
@@ -317,7 +317,7 @@ class AbstractModel: public std::enable_shared_from_this<AbstractModel<T>> {
 		 * @return True if this model has a transition reward model.
 		 */
 		bool hasTransitionRewards() const {
-			return transitionRewardMatrix;
+			return static_cast<bool>(transitionRewardMatrix);
 		}
     
         /*!
@@ -325,7 +325,7 @@ class AbstractModel: public std::enable_shared_from_this<AbstractModel<T>> {
          * @return True if this model has a labeling.
          */
         bool hasChoiceLabeling() const {
-            return choiceLabeling;
+            return static_cast<bool>(choiceLabeling);
         }
 
 		/*!