From 5933467670e9eb5b4571e97c24dd55590608c3d7 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 17 Mar 2020 09:21:08 +0100
Subject: [PATCH] Silenced warnings regarding member initialization in
 unexpected order.

---
 src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h | 4 ++--
 src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h
index 5aa69b3ce..3ddba7586 100644
--- a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h
+++ b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h
@@ -20,9 +20,9 @@ namespace pomdp {
                                          storm::storage::BitVector const& surelyReachSinkStates,
                                          std::shared_ptr<storm::utility::solver::SmtSolverFactory>& smtSolverFactory) :
                 pomdp(pomdp),
+                targetObservations(targetObservationSet),
                 targetStates(targetStates),
-                surelyReachSinkStates(surelyReachSinkStates),
-                targetObservations(targetObservationSet) {
+                surelyReachSinkStates(surelyReachSinkStates) {
             this->expressionManager = std::make_shared<storm::expressions::ExpressionManager>();
             smtSolver = smtSolverFactory->create(*expressionManager);
 
diff --git a/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h b/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h
index 5020fc9ab..97dc0f679 100644
--- a/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h
+++ b/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h
@@ -20,9 +20,9 @@ namespace storm {
                                              storm::storage::BitVector const& surelyReachSinkStates,
                                              std::shared_ptr<storm::utility::solver::SmtSolverFactory>& smtSolverFactory) :
                     pomdp(pomdp),
+                    targetObservations(targetObservationSet),
                     targetStates(targetStates),
-                    surelyReachSinkStates(surelyReachSinkStates),
-                    targetObservations(targetObservationSet) {
+                    surelyReachSinkStates(surelyReachSinkStates) {
                 this->expressionManager = std::make_shared<storm::expressions::ExpressionManager>();
                 smtSolver = smtSolverFactory->create(*expressionManager);