Fixed includes after moving files

7 years ago · 8ba365fee9
3 changed files with 5 additions and 5 deletions
--- 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 {
--- 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"
--- 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"