From 6bcd75b1c08451cd17cb373df057a4de3ed6d072 Mon Sep 17 00:00:00 2001
From: Rene Milk <rene.milk@uni-muenster.de>
Date: Wed, 18 Feb 2015 11:27:43 +0100
Subject: [PATCH] [misc] fixes missing/superflous header includes
---
dune/stuff/functions/interfaces.hh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dune/stuff/functions/interfaces.hh b/dune/stuff/functions/interfaces.hh
index 7eedc6482..58ca67edc 100644
--- a/dune/stuff/functions/interfaces.hh
+++ b/dune/stuff/functions/interfaces.hh
@@ -40,7 +40,7 @@
#include <dune/stuff/aliases.hh>
#include <dune/stuff/common/exceptions.hh>
#include <dune/stuff/common/memory.hh>
-
+#include <dune/stuff/common/type_utils.hh>
namespace Dune {
namespace Stuff {
--
GitLab