From 8ba365fee9474a27244a943c15f982a16566b912 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 3 Nov 2017 15:58:04 +0100 Subject: [PATCH] Fixed includes after moving files --- src/storm-dft/settings/DftSettings.cpp | 4 ++-- src/storm-gspn-cli/storm-gspn.cpp | 4 ++-- src/storm-gspn/storm-gspn.h | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/storm-dft/settings/DftSettings.cpp b/src/storm-dft/settings/DftSettings.cpp index ce48c6fd9..b80afa2ce 100644 --- a/src/storm-dft/settings/DftSettings.cpp +++ b/src/storm-dft/settings/DftSettings.cpp @@ -16,8 +16,8 @@ #include "storm/settings/modules/BisimulationSettings.h" #include "storm/settings/modules/ResourceSettings.h" #include "storm/settings/modules/JaniExportSettings.h" -#include "storm/settings/modules/GSPNSettings.h" -#include "storm/settings/modules/GSPNExportSettings.h" +#include "storm-gspn/settings/modules/GSPNSettings.h" +#include "storm-gspn/settings/modules/GSPNExportSettings.h" namespace storm { diff --git a/src/storm-gspn-cli/storm-gspn.cpp b/src/storm-gspn-cli/storm-gspn.cpp index fc493391a..d6a493981 100644 --- a/src/storm-gspn-cli/storm-gspn.cpp +++ b/src/storm-gspn-cli/storm-gspn.cpp @@ -28,8 +28,8 @@ #include "storm/exceptions/FileIoException.h" #include "storm/settings/modules/IOSettings.h" -#include "storm/settings/modules/GSPNSettings.h" -#include "storm/settings/modules/GSPNExportSettings.h" +#include "storm-gspn/settings/modules/GSPNSettings.h" +#include "storm-gspn/settings/modules/GSPNExportSettings.h" #include "storm/settings/modules/CoreSettings.h" #include "storm/settings/modules/DebugSettings.h" #include "storm/settings/modules/JaniExportSettings.h" diff --git a/src/storm-gspn/storm-gspn.h b/src/storm-gspn/storm-gspn.h index d043ce53d..e0d6dd3a6 100644 --- a/src/storm-gspn/storm-gspn.h +++ b/src/storm-gspn/storm-gspn.h @@ -6,7 +6,7 @@ #include "storm-gspn/storage/gspn/GSPN.h" #include "storm/settings/SettingsManager.h" -#include "storm/settings/modules/GSPNExportSettings.h" +#include "storm-gspn/settings/modules/GSPNExportSettings.h" #include "storm/utility/file.h"