From bb3e00861100dd08cccef5ae15d76abcc7719dc8 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 18 Apr 2016 20:52:28 +0200
Subject: [PATCH] added missing include

Former-commit-id: 27295accde15384e026d42f540c231e899296f7e
---
 src/logic/CloneVisitor.h | 2 ++
 1 file changed, 2 insertions(+)

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 {