From 7d28c2531c73f87775231959fd916684d59ae1df Mon Sep 17 00:00:00 2001
From: Adam Reichold <adam.reichold@t-online.de>
Date: Thu, 7 Jan 2016 19:18:49 +0100
Subject: [PATCH] Fix #3067 by including the memory header directly into the
 cache manager.

---
 rtgui/cachemanager.cc | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/rtgui/cachemanager.cc b/rtgui/cachemanager.cc
index 4d3519cf1..4d3949890 100644
--- a/rtgui/cachemanager.cc
+++ b/rtgui/cachemanager.cc
@@ -18,13 +18,15 @@
  */
 #include "cachemanager.h"
 
-#ifdef WIN32
-#include <windows.h>
-#endif
+#include <memory>
 
 #include <glib/gstdio.h>
 #include <giomm.h>
 
+#ifdef WIN32
+#include <windows.h>
+#endif
+
 #include "guiutils.h"
 #include "options.h"
 #include "procparamchangers.h"