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 - DiscreteTimeSparseModelSimulator::DiscreteTimeSparseModelSimulator(storm::models::sparse::Model const& model) : model(model), currentState(*model.getInitialStates().begin()) { + DiscreteTimeSparseModelSimulator::DiscreteTimeSparseModelSimulator(storm::models::sparse::Model 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; } -} \ 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::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 +}