From d9ec0f8fcf2a72f77b1513a25aba43e7eb5b20f2 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 30 Jul 2018 20:46:46 +0200
Subject: [PATCH] removed include of old janiexportsettings

---
 src/storm/api/export.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/api/export.h b/src/storm/api/export.h
index 825a9de48..39a3ba1b3 100644
--- a/src/storm/api/export.h
+++ b/src/storm/api/export.h
@@ -1,7 +1,6 @@
 #pragma once
 
 #include "storm/settings/SettingsManager.h"
-#include "storm/settings/modules/JaniExportSettings.h"
 
 #include "storm/utility/DirectEncodingExporter.h"
 #include "storm/utility/file.h"