From 5fc36c291c7197fcbacec682b611c2e730fc1356 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 29 Apr 2016 14:49:05 +0200
Subject: [PATCH] Fixed possible infinite recursion

Former-commit-id: 5fdbae4203b5ccacd40760bbb8f450c28829ac1a
---
 src/logic/BinaryStateFormula.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/logic/BinaryStateFormula.cpp b/src/logic/BinaryStateFormula.cpp
index 6993707ad..b21a75c44 100644
--- a/src/logic/BinaryStateFormula.cpp
+++ b/src/logic/BinaryStateFormula.cpp
@@ -43,7 +43,7 @@ namespace storm {
         }
         
         bool BinaryStateFormula::containsNestedRewardOperators() const {
-            return this->containsNestedRewardOperators() || this->getRightSubformula().containsNestedRewardOperators();
+            return this->getLeftSubformula().containsNestedRewardOperators() || this->getRightSubformula().containsNestedRewardOperators();
         }
         
         Formula const& BinaryStateFormula::getLeftSubformula() const {
@@ -69,4 +69,4 @@ namespace storm {
             this->getRightSubformula().gatherReferencedRewardModels(referencedRewardModels);
         }
     }
-}
\ No newline at end of file
+}