Error fixed.

Former-commit-id: b2514633a7
10 years ago · dfab1c291c
1 changed files with 1 additions and 1 deletions
--- 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;