From d34a2dd9fd8f55ac1b85e3d0e6b5f6f346127143 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Sun, 14 Jan 2018 15:53:16 +0100
Subject: [PATCH] fix for mec choice elimination

---
 src/storm-pomdp/transformer/GlobalPomdpMecChoiceEliminator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-pomdp/transformer/GlobalPomdpMecChoiceEliminator.cpp b/src/storm-pomdp/transformer/GlobalPomdpMecChoiceEliminator.cpp
index 405fe4fc6..d01342a7c 100644
--- a/src/storm-pomdp/transformer/GlobalPomdpMecChoiceEliminator.cpp
+++ b/src/storm-pomdp/transformer/GlobalPomdpMecChoiceEliminator.cpp
@@ -27,7 +27,7 @@ namespace storm {
             
             std::shared_ptr<storm::logic::Formula const> subformula = formula.asOperatorFormula().getSubformula().asSharedPointer();
             // If necessary, convert the subformula to a more general case
-            if (subformula->isEventuallyFormula() && subformula->asEventuallyFormula().isProbabilityPathFormula()) {
+            if (subformula->isEventuallyFormula() && formula.isProbabilityOperatorFormula()) {
                 subformula = std::make_shared<storm::logic::UntilFormula>(storm::logic::Formula::getTrueFormula(), subformula->asEventuallyFormula().getSubformula().asSharedPointer());
             }