From b61775570b13589563e6349e05cb57ba57afef69 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 5 Mar 2020 10:21:13 -0800
Subject: [PATCH] minor

---
 src/storm-pomdp-cli/storm-pomdp.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index e669888d5..0e6a9d627 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -65,6 +65,8 @@ void initializeSettings() {
     storm::settings::addModule<storm::settings::modules::DebugSettings>();
     storm::settings::addModule<storm::settings::modules::BuildSettings>();
 
+    storm::settings::addModule<storm::settings::modules::POMDPSettings>();
+
     storm::settings::addModule<storm::settings::modules::TransformationSettings>();
     storm::settings::addModule<storm::settings::modules::GmmxxEquationSolverSettings>();
     storm::settings::addModule<storm::settings::modules::EigenEquationSolverSettings>();
@@ -80,11 +82,7 @@ void initializeSettings() {
     storm::settings::addModule<storm::settings::modules::TopologicalEquationSolverSettings>();
     storm::settings::addModule<storm::settings::modules::ModelCheckerSettings>();
     storm::settings::addModule<storm::settings::modules::MultiplierSettings>();
-
-    storm::settings::addModule<storm::settings::modules::TransformationSettings>();
     storm::settings::addModule<storm::settings::modules::HintSettings>();
-
-    storm::settings::addModule<storm::settings::modules::POMDPSettings>();
 }
 
 template<typename ValueType>