From 4e0f4e8e5a642525e3a0887349fc3e42e490a032 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sat, 6 Aug 2016 19:11:50 +0200
Subject: [PATCH] add region settings

Former-commit-id: 7f2680e1262f4fd2d312f57f3bbda03bfe3c841b
---
 src/settings/SettingsManager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/settings/SettingsManager.cpp b/src/settings/SettingsManager.cpp
index f94c54d41..cf7089dae 100644
--- 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>();
         }