diff --git a/src/logic/CloneVisitor.h b/src/logic/CloneVisitor.h
index a23ee4a8b..23fc3ffdc 100644
--- a/src/logic/CloneVisitor.h
+++ b/src/logic/CloneVisitor.h
@@ -1,6 +1,8 @@
 #ifndef STORM_LOGIC_CLONEVISITOR_H_
 #define STORM_LOGIC_CLONEVISITOR_H_
 
+#include <memory>
+
 #include "src/logic/FormulaVisitor.h"
 
 namespace storm {