From d398d6643f53177f19e72a6cdcd925cb4ae6fdf1 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 5 Feb 2020 17:35:40 +0100
Subject: [PATCH] enable logging

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

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 6d6725435..ea8f93d33 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -88,6 +88,8 @@ int main(const int argc, const char** argv) {
         if (!optionsCorrect) {
             return -1;
         }
+        storm::cli::setUrgentOptions();
+
 
 
         auto const& coreSettings = storm::settings::getModule<storm::settings::modules::CoreSettings>();