From 8637ce8a6f1c8ef683ec3445d0a722cacdd0ef06 Mon Sep 17 00:00:00 2001
From: ThomasH <thomas.henn@rwth-aachen.de>
Date: Sun, 25 Oct 2015 17:00:14 +0100
Subject: [PATCH] use absolute paths

Former-commit-id: 39c334415ed4a832ecc564d560d7cb8ab5922668
---
 src/storage/gspn/GSPN.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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 <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 {