removed include of old janiexportsettings

6 years ago · d9ec0f8fcf
1 changed files with 0 additions and 1 deletions
--- 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"