From 5e3eab8058825a72948c024ff5844a7fdb1f2a2a Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 1 Feb 2015 23:43:59 +0100
Subject: [PATCH] Fixed another bug

Former-commit-id: 27c666dcb6a8d45ecefb52ffad9bd8075a422ce9
---
 src/storage/DeterministicModelBisimulationDecomposition.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/DeterministicModelBisimulationDecomposition.cpp b/src/storage/DeterministicModelBisimulationDecomposition.cpp
index 6cf4f00ca..33d2589da 100644
--- a/src/storage/DeterministicModelBisimulationDecomposition.cpp
+++ b/src/storage/DeterministicModelBisimulationDecomposition.cpp
@@ -643,7 +643,7 @@ namespace storm {
                     measureDrivenInitialPartition = true;
                 }
             } else if (newFormula->isReachabilityRewardFormula()) {
-                rightSubformula = newFormula->asEventuallyFormula().getSubformula().asSharedPointer();
+                rightSubformula = newFormula->asReachabilityRewardFormula().getSubformula().asSharedPointer();
                 if (rightSubformula->isPropositionalFormula()) {
                     measureDrivenInitialPartition = true;
                 }