From dfab1c291ce464736ee6f3fc0f1fe1a4f69c20a1 Mon Sep 17 00:00:00 2001
From: David_Korzeniewski <david.korzeniewski@rwth-aachen.de>
Date: Wed, 6 May 2015 23:05:38 +0200
Subject: [PATCH] Error fixed.

Former-commit-id: b2514633a75876f8fcca44d53a1a35252f78d4f0
---
 src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
index abec6a929..ebedb6c25 100644
--- a/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
+++ b/src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
@@ -390,7 +390,7 @@ namespace storm {
             
             // Set the values for all states in MECs.
             for (auto state : statesInMecs) {
-                result[state] = lraValuesForEndComponents[stateToMecIndexMap[state]];
+				result[state] = x[firstAuxiliaryStateIndex + stateToMecIndexMap[state]];
             }
             
             return result;