From d379baef732d6cbd7389f41c5804709ed1adeedb Mon Sep 17 00:00:00 2001 From: sjunges Date: Thu, 15 Dec 2016 01:21:50 +0100 Subject: [PATCH] fix correct capit. to compile on linux --- src/storm-gspn/storm-gspn.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"