fix correct capit. to compile on linux

8 years ago · d379baef73
1 changed files with 1 additions and 1 deletions
--- 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"