From 0bf9f27e31e8a057fb80615024f21fb240ee88fe Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 28 Feb 2019 11:33:25 +0100
Subject: [PATCH] Fixed typo and renamed a variable.

---
 .../csl/SparseMarkovAutomatonCslModelChecker.cpp          | 2 +-
 src/storm/storage/MaximalEndComponentDecomposition.cpp    | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp b/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
index 07c732341..3a21d36db 100644
--- a/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
+++ b/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
@@ -70,7 +70,7 @@ namespace storm {
             std::unique_ptr<CheckResult> rightResultPointer = this->check(env, pathFormula.getRightSubformula());
             ExplicitQualitativeCheckResult const& rightResult = rightResultPointer->asExplicitQualitativeCheckResult();
 
-            STORM_LOG_THROW(pathFormula.getTimeBoundReference().isTimeBound(), storm::exceptions::NotImplementedException, "Currently step-bounded and reward=bpimded properties on MAs are not supported.");
+            STORM_LOG_THROW(pathFormula.getTimeBoundReference().isTimeBound(), storm::exceptions::NotImplementedException, "Currently step-bounded and reward-bounded properties on MAs are not supported.");
             double lowerBound = 0;
             double upperBound = 0;
             if (pathFormula.hasLowerBound()) {
diff --git a/src/storm/storage/MaximalEndComponentDecomposition.cpp b/src/storm/storage/MaximalEndComponentDecomposition.cpp
index 7cbf36fd7..ec5484912 100644
--- a/src/storm/storage/MaximalEndComponentDecomposition.cpp
+++ b/src/storm/storage/MaximalEndComponentDecomposition.cpp
@@ -74,10 +74,10 @@ namespace storm {
             if (states) {
                 endComponentStateSets.emplace_back(states->begin(), states->end(), true);
             } else {
-                std::vector<storm::storage::sparse::state_type> states;
-                states.resize(transitionMatrix.getRowGroupCount());
-                std::iota(states.begin(), states.end(), 0);
-                endComponentStateSets.emplace_back(states.begin(), states.end(), true);
+                std::vector<storm::storage::sparse::state_type> allStates;
+                allStates.resize(transitionMatrix.getRowGroupCount());
+                std::iota(allStates.begin(), allStates.end(), 0);
+                endComponentStateSets.emplace_back(allStates.begin(), allStates.end(), true);
             }
             storm::storage::BitVector statesToCheck(numberOfStates);
             storm::storage::BitVector includedChoices;