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"