Fixed possible infinite recursion

Former-commit-id: 5fdbae4203
9 years ago · 5fc36c291c
1 changed files with 2 additions and 2 deletions
--- 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 {