diff --git a/src/storm/api/properties.h b/src/storm/api/properties.h
index bcc1a8882..c52073105 100644
--- a/src/storm/api/properties.h
+++ b/src/storm/api/properties.h
@@ -4,6 +4,7 @@
 #include <set>
 #include <map>
 #include <vector>
+#include <memory>
 #include <boost/optional.hpp>
 
 namespace storm {