From 41645c3f9a599e51c0d4c87b7ba07bc25c6bc30e Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 30 Jul 2018 20:47:47 +0200
Subject: [PATCH] including the correct .h file in storm-parsers api

---
 src/storm-parsers/api/properties.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-parsers/api/properties.cpp b/src/storm-parsers/api/properties.cpp
index d5349544d..425fee410 100644
--- a/src/storm-parsers/api/properties.cpp
+++ b/src/storm-parsers/api/properties.cpp
@@ -1,4 +1,4 @@
-
+#include "storm-parsers/api/properties.h"
 
 #include "storm-parsers/parser/FormulaParser.h"
 #include "storm/api/properties.h"