diff --git a/src/storage/gspn/GSPN.h b/src/storage/gspn/GSPN.h index 6be99b5e7..4c1be4699 100644 --- a/src/storage/gspn/GSPN.h +++ b/src/storage/gspn/GSPN.h @@ -2,9 +2,9 @@ #define STORM_GSPN_H #include -#include "ImmediateTransition.h" -#include "TimedTransition.h" -#include "Marking.h" +#include "src/storage/gspn/ImmediateTransition.h" +#include "src/storage/gspn/TimedTransition.h" +#include "src/storage/gspn/Marking.h" namespace storm { namespace gspn {