From d060658bee4a3a47d37109632eb4dfde03c35ef7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 20 May 2020 10:11:28 +0200
Subject: [PATCH] Adaption to changes in storm-dft

---
 setup.py        | 2 +-
 src/dft/dft.cpp | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 6c30f46..172ee03 100755
--- a/setup.py
+++ b/setup.py
@@ -14,7 +14,7 @@ if sys.version_info[0] == 2:
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.4.2"
+storm_min_version = "1.5.1"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f:
diff --git a/src/dft/dft.cpp b/src/dft/dft.cpp
index 3b720ed..758eee0 100644
--- a/src/dft/dft.cpp
+++ b/src/dft/dft.cpp
@@ -3,6 +3,7 @@
 #include "storm-dft/storage/dft/DFT.h"
 #include "storm/settings/SettingsManager.h"
 #include "storm-dft/settings/modules/FaultTreeSettings.h"
+#include "storm-dft/settings/modules/DftIOSettings.h"
 
 
 template<typename ValueType> using DFT = storm::storage::DFT<ValueType>;
@@ -12,6 +13,7 @@ void define_dft(py::module& m) {
 
     m.def("_set_up", []() {
             storm::settings::addModule<storm::settings::modules::FaultTreeSettings>();
+            storm::settings::addModule<storm::settings::modules::DftIOSettings>();
         }, "Initialize Storm-dft");