diff --git a/src/storm-gspn/storm-gspn.h b/src/storm-gspn/storm-gspn.h index 3a3f9d55a..63b0746f1 100644 --- a/src/storm-gspn/storm-gspn.h +++ b/src/storm-gspn/storm-gspn.h @@ -3,7 +3,7 @@ #include "storm/storage/jani/Model.h" #include "storm-gspn/builder/JaniGSPNBuilder.h" -#include "storm-gspn/storage/gspn/Gspn.h" +#include "storm-gspn/storage/gspn/GSPN.h" #include "storm/settings/modules/GSPNExportSettings.h"