From 5b7bc4319ad288660cdb47df9db0a849def09d2e Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 13 Jul 2020 15:05:16 +0200
Subject: [PATCH] Missing pragma once

---
 src/storm-gspn/parser/GspnParser.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-gspn/parser/GspnParser.h b/src/storm-gspn/parser/GspnParser.h
index 512f0ddd6..b27c8975a 100644
--- a/src/storm-gspn/parser/GspnParser.h
+++ b/src/storm-gspn/parser/GspnParser.h
@@ -1,3 +1,5 @@
+#pragma once
+
 #include "storm-gspn/storage/gspn/GSPN.h"
 
 namespace storm {