diff --git a/src/parser/PrctlParser.h b/src/parser/PrctlParser.h
index 7f97d4293..22e11a274 100644
--- a/src/parser/PrctlParser.h
+++ b/src/parser/PrctlParser.h
@@ -4,7 +4,7 @@
 #include "src/parser/Parser.h"
 
 #include "src/formula/Formulas.h"
-#include <memory>
+//#include <memory>
 
 namespace storm {
 namespace parser {