From 8b06e4fa6ed04d87fe32538a291837af044095b4 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 7 Feb 2017 18:58:35 +0100
Subject: [PATCH] added missing IOSettings module to storm-dft-cli

---
 src/storm-dft-cli/storm-dyftee.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-dft-cli/storm-dyftee.cpp b/src/storm-dft-cli/storm-dyftee.cpp
index 5f4cdaee4..c018108ec 100644
--- a/src/storm-dft-cli/storm-dyftee.cpp
+++ b/src/storm-dft-cli/storm-dyftee.cpp
@@ -87,6 +87,7 @@ void initializeSettings() {
     storm::settings::addModule<storm::settings::modules::DFTSettings>();
     storm::settings::addModule<storm::settings::modules::CoreSettings>();
     storm::settings::addModule<storm::settings::modules::DebugSettings>();
+    storm::settings::addModule<storm::settings::modules::IOSettings>();
     //storm::settings::addModule<storm::settings::modules::CounterexampleGeneratorSettings>();
     //storm::settings::addModule<storm::settings::modules::CuddSettings>();
     //storm::settings::addModule<storm::settings::modules::SylvanSettings>();