From 112973d02ab556449ed629f81fd7e8fbf9c76958 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 7 Feb 2020 12:07:13 +0100
Subject: [PATCH] adapt for hintsettings that have been added recently

---
 src/storm-pomdp-cli/storm-pomdp.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index ea8f93d33..9fc95f904 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -24,6 +24,8 @@
 #include "storm/settings/modules/BuildSettings.h"
 #include "storm/settings/modules/JitBuilderSettings.h"
 #include "storm/settings/modules/MultiObjectiveSettings.h"
+
+#include "storm/settings/modules/HintSettings.h"
 #include "storm-pomdp-cli/settings/modules/POMDPSettings.h"
 
 #include "storm/analysis/GraphConditions.h"
@@ -65,6 +67,7 @@ void initializeSettings() {
     storm::settings::addModule<storm::settings::modules::JitBuilderSettings>();
 
     storm::settings::addModule<storm::settings::modules::TransformationSettings>();
+    storm::settings::addModule<storm::settings::modules::HintSettings>();