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"