From 556b8e872641686e76545098ad3156ba75962f66 Mon Sep 17 00:00:00 2001
From: hbruintjes <h.bruintjes@cs.rwth-aachen.de>
Date: Wed, 29 Jun 2016 17:15:20 +0200
Subject: [PATCH] Return reference to settings module, not a copy

Former-commit-id: 0a5befee57d1f264268f19085aa859dad9987963
---
 src/settings/SettingsManager.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/settings/SettingsManager.h b/src/settings/SettingsManager.h
index 11c9d78d6..6b1afe5db 100644
--- a/src/settings/SettingsManager.h
+++ b/src/settings/SettingsManager.h
@@ -260,7 +260,7 @@ namespace storm {
          * @return The module.
          */
         template<typename SettingsType>
-        SettingsType getModule() {
+        SettingsType const& getModule() {
             static_assert(std::is_base_of<storm::settings::modules::ModuleSettings, SettingsType>::value, "Template argument must be derived from ModuleSettings");
             return dynamic_cast<SettingsType const&>(manager().getModule(SettingsType::moduleName));
         }