From b08373ac6715c5a57691985efcf9522a951178fa Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 21 Sep 2018 14:21:57 +0200
Subject: [PATCH] fixed in reward accumulation elimination of total reward
 formulas

---
 src/storm/logic/RewardAccumulationEliminationVisitor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/logic/RewardAccumulationEliminationVisitor.cpp b/src/storm/logic/RewardAccumulationEliminationVisitor.cpp
index 2ee9150f7..7c96a0f7d 100644
--- a/src/storm/logic/RewardAccumulationEliminationVisitor.cpp
+++ b/src/storm/logic/RewardAccumulationEliminationVisitor.cpp
@@ -118,7 +118,7 @@ namespace storm {
         boost::any RewardAccumulationEliminationVisitor::visit(TotalRewardFormula const& f, boost::any const& data) const {
             STORM_LOG_THROW(!data.empty(), storm::exceptions::UnexpectedException, "Formula " << f << " does not seem to be a subformula of a reward operator.");
             auto rewName = boost::any_cast<boost::optional<std::string>>(data);
-            if (f.hasRewardAccumulation() || canEliminate(f.getRewardAccumulation(), rewName)) {
+            if (!f.hasRewardAccumulation() || canEliminate(f.getRewardAccumulation(), rewName)) {
                 return std::static_pointer_cast<Formula>(std::make_shared<TotalRewardFormula>());
             } else {
                 return std::static_pointer_cast<Formula>(std::make_shared<TotalRewardFormula>(f.getRewardAccumulation()));