use absolute paths

Former-commit-id: 39c334415e
9 years ago · 8637ce8a6f
1 changed files with 3 additions and 3 deletions
--- a/src/storage/gspn/GSPN.h
+++ b/src/storage/gspn/GSPN.h
@ -2,9 +2,9 @@
 #define STORM_GSPN_H

 #include <vector>
-#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 {