From a966938095fde2c6bb7485656f1d8104e584c21c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 21 Jul 2020 21:47:23 -0700
Subject: [PATCH] refactoring in storm requires new includes in stormpy

---
 src/core/core.cpp | 2 +-
 src/gspn/gspn.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index 93f5792..725f849 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -1,6 +1,6 @@
 #include "core.h"
 #include "storm/utility/initialize.h"
-#include "storm/utility/DirectEncodingExporter.h"
+#include "storm/io/DirectEncodingExporter.h"
 #include "storm/storage/ModelFormulasPair.h"
 #include "storm/storage/dd/DdType.h"
 #include "storm/storage/jani/Property.h"
diff --git a/src/gspn/gspn.cpp b/src/gspn/gspn.cpp
index 1dabb5d..89cb946 100644
--- a/src/gspn/gspn.cpp
+++ b/src/gspn/gspn.cpp
@@ -3,7 +3,7 @@
 #include "storm-gspn/storage/gspn/GSPN.h"
 #include "storm-gspn/storage/gspn/GspnBuilder.h"
 #include "storm/settings/SettingsManager.h"
-#include "storm/utility/file.h"
+#include "storm/io/file.h"
 
 using GSPN = storm::gspn::GSPN;
 using GSPNBuilder = storm::gspn::GspnBuilder;