add region settings

Former-commit-id: 7f2680e126
8 years ago · 4e0f4e8e5a
1 changed files with 1 additions and 0 deletions
--- a/src/settings/SettingsManager.cpp
+++ b/src/settings/SettingsManager.cpp
@ -521,6 +521,7 @@ namespace storm {
            storm::settings::addModule<storm::settings::modules::GurobiSettings>();
            storm::settings::addModule<storm::settings::modules::TopologicalValueIterationEquationSolverSettings>();
            storm::settings::addModule<storm::settings::modules::ParametricSettings>();
+            storm::settings::addModule<storm::settings::modules::RegionSettings>();
            storm::settings::addModule<storm::settings::modules::ExplorationSettings>();
        }