From 43db81c18fa6792deb44eb7785d082aea652076b Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 25 Sep 2020 12:29:40 +0200
Subject: [PATCH] Silenced a warning.

---
 .../multiobjective/pcaa/PcaaWeightVectorChecker.cpp           | 2 +-
 .../multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/modelchecker/multiobjective/pcaa/PcaaWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/pcaa/PcaaWeightVectorChecker.cpp
index 19ae057dd..5f2ea028d 100644
--- a/src/storm/modelchecker/multiobjective/pcaa/PcaaWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa/PcaaWeightVectorChecker.cpp
@@ -35,7 +35,7 @@ namespace storm {
             boost::optional<typename SparseModelType::ValueType> PcaaWeightVectorChecker<SparseModelType>::computeWeightedResultBound(bool lower, std::vector<ValueType> const& weightVector, storm::storage::BitVector const& objectiveFilter) const {
                 
                 ValueType result = storm::utility::zero<ValueType>();
-                for (auto const& objIndex : objectiveFilter) {
+                for (auto objIndex : objectiveFilter) {
                     boost::optional<ValueType> const& objBound = (lower == storm::solver::minimize(this->objectives[objIndex].formula->getOptimalityType())) ? this->objectives[objIndex].upperResultBound : this->objectives[objIndex].lowerResultBound;
                     if (objBound) {
                         if (storm::solver::minimize(this->objectives[objIndex].formula->getOptimalityType())) {
diff --git a/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp
index 1517518e3..0da73ad35 100644
--- a/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.cpp
@@ -152,7 +152,7 @@ namespace storm {
                     std::vector<ValueType> const& objRewards = this->actionRewards[objIndex];
                     std::vector<ValueType> subModelObjRewards;
                     subModelObjRewards.reserve(result.getNumberOfChoices());
-                    for (auto const& choice : result.choices) {
+                    for (auto choice : result.choices) {
                         subModelObjRewards.push_back(objRewards[choice]);
                     }
                     result.objectiveRewardVectors.push_back(std::move(subModelObjRewards));
@@ -213,7 +213,7 @@ namespace storm {
                 VT delta = smallestNonZeroBound / smallestStepBound;
                 while(true) {
                     bool deltaValid = true;
-                    for (auto const& objIndex : objectivesWithTimeBound) {
+                    for (auto objIndex : objectivesWithTimeBound) {
                         auto const& timeBound = timeBounds[objIndex];
                         if (timeBound/delta != std::floor(timeBound/delta)) {
                             deltaValid = false;