From fcd91ecb303ed29d06982b97df233afa871c55d2 Mon Sep 17 00:00:00 2001
From: Timo Philipp Gros <timopgros@gmail.com>
Date: Sun, 10 Dec 2017 15:11:53 +0100
Subject: [PATCH] fixed typo

---
 .../csl/helper/SparseMarkovAutomatonCslHelper.cpp             | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
index 450af4410..e9b2edfc5 100644
--- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
@@ -588,14 +588,14 @@ namespace storm {
                 //calculate relative reachability
 
                 for (uint64_t i = 0; i < numberOfStates; i++) {
-                    if (markovStates[i]) {
+                    if (markovianStates[i]) {
                         continue;
                     }
                     auto from = rowGroupIndices[i];
                     auto to = rowGroupIndices[i + 1];
                     for (auto j = from; j < to; j++) {
                         for (auto& element: fullTransitionMatrix.getRow(j)) {
-                            if (markovStates[element.getColumn()]) {
+                            if (markovianStates[element.getColumn()]) {
                                 relReachability[j].push_back(element.getValue());
                             }
                         }