From 910b6e6b2260ef9903c94ec8aff7b7a5167fa1e1 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 1 Aug 2018 11:38:39 +0200 Subject: [PATCH] fixed wrong include --- src/storm-cli-utilities/model-handling.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index 412b909b6..f60a3ffb5 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/src/storm-cli-utilities/model-handling.h @@ -38,7 +38,6 @@ #include "storm/settings/modules/CoreSettings.h" #include "storm/settings/modules/AbstractionSettings.h" #include "storm/settings/modules/ResourceSettings.h" -#include "storm/settings/modules/JaniExportSettings.h" #include "storm/utility/Stopwatch.h"