From c1b4c3270f51a4c8dcd3a6a7ff1eb1dd11e9fe41 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 15 Apr 2020 14:18:46 +0200
Subject: [PATCH] Fixed initialization order warnings

---
 src/storm/simulator/DiscreteTimeSparseModelSimulator.cpp | 4 ++--
 src/storm/utility/random.cpp                             | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/storm/simulator/DiscreteTimeSparseModelSimulator.cpp b/src/storm/simulator/DiscreteTimeSparseModelSimulator.cpp
index d8fd4a82a..2e9161b8a 100644
--- a/src/storm/simulator/DiscreteTimeSparseModelSimulator.cpp
+++ b/src/storm/simulator/DiscreteTimeSparseModelSimulator.cpp
@@ -4,7 +4,7 @@
 namespace storm {
     namespace simulator {
         template<typename ValueType, typename RewardModelType>
-        DiscreteTimeSparseModelSimulator<ValueType,RewardModelType>::DiscreteTimeSparseModelSimulator(storm::models::sparse::Model<ValueType, RewardModelType> const& model) : model(model), currentState(*model.getInitialStates().begin()) {
+        DiscreteTimeSparseModelSimulator<ValueType,RewardModelType>::DiscreteTimeSparseModelSimulator(storm::models::sparse::Model<ValueType, RewardModelType> const& model) : currentState(*model.getInitialStates().begin()), model(model) {
             STORM_LOG_WARN_COND(model.getInitialStates().getNumberOfSetBits()==1, "The model has multiple initial states. This simulator assumes it starts from the initial state with the lowest index.");
 
         }
@@ -47,4 +47,4 @@ namespace storm {
 
         template class DiscreteTimeSparseModelSimulator<double>;
     }
-}
\ No newline at end of file
+}
diff --git a/src/storm/utility/random.cpp b/src/storm/utility/random.cpp
index 6f3464cdb..ad0afecb0 100644
--- a/src/storm/utility/random.cpp
+++ b/src/storm/utility/random.cpp
@@ -10,7 +10,7 @@ namespace storm {
         }
 
         RandomProbabilityGenerator<double>::RandomProbabilityGenerator(uint64_t seed)
-        : engine(seed), distribution(0.0, 1.0)
+        : distribution(0.0, 1.0), engine(seed)
         {
 
         }
@@ -21,4 +21,4 @@ namespace storm {
 
 
     }
-}
\ No newline at end of file
+}