From 82ffb9b7c017d9817279217921c65590c445146f Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Fri, 3 Sep 2021 14:46:06 +0200
Subject: [PATCH] fixed typo - updateStatesOfCoalition

---
 src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp  | 2 +-
 src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp | 4 ++--
 src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h   | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
index cffe35987..bc18f35ff 100644
--- a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp
@@ -194,7 +194,7 @@ namespace storm {
 
                         // Update the viHelper for the (full-size) submatrix and statesOfCoalition.
                         viHelper.updateTransitionMatrix(submatrix);
-                        viHelper.updateStatesOfCoaltion(statesOfCoalition);
+                        viHelper.updateStatesOfCoalition(statesOfCoalition);
 
                         // Reset constrainedChoiceValues and b to 0-vector in the correct dimension.
                         constrainedChoiceValues = std::vector<ValueType>(transitionMatrix.getConstrainedRowGroupSumVector(relevantStates, newPsiStates).size(), storm::utility::zero<ValueType>());
diff --git a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
index 5b644e23d..54efd3c7c 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
+++ b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.cpp
@@ -131,8 +131,8 @@ namespace storm {
                 }
 
                 template <typename ValueType>
-                void GameViHelper<ValueType>::updateStatesOfCoaltion(storm::storage::BitVector newStatesOfCoaltion) {
-                    _statesOfCoalition = newStatesOfCoaltion;
+                void GameViHelper<ValueType>::updateStatesOfCoalition(storm::storage::BitVector newStatesOfCoalition) {
+                    _statesOfCoalition = newStatesOfCoalition;
                 }
 
                 template <typename ValueType>
diff --git a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h
index db4b2939f..507eb60b7 100644
--- a/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h
+++ b/src/storm/modelchecker/rpatl/helper/internal/GameViHelper.h
@@ -46,7 +46,7 @@ namespace storm {
                     /*!
                      * Changes the statesOfCoalition to the given one.
                      */
-                    void updateStatesOfCoaltion(storm::storage::BitVector newStatesOfCoaltion);
+                    void updateStatesOfCoalition(storm::storage::BitVector newStatesOfCoalition);
 
                     storm::storage::Scheduler<ValueType> extractScheduler() const;