From 81810fde289026fb01e5240756511516fecabd1b Mon Sep 17 00:00:00 2001 From: Felix Schindler <felix.schindler@wwu.de> Date: Sat, 7 Feb 2015 17:29:19 +0100 Subject: [PATCH] [functions.interfaces] add missing include --- dune/stuff/functions/interfaces.hh | 1 + 1 file changed, 1 insertion(+) diff --git a/dune/stuff/functions/interfaces.hh b/dune/stuff/functions/interfaces.hh index e6b832a23..7eedc6482 100644 --- a/dune/stuff/functions/interfaces.hh +++ b/dune/stuff/functions/interfaces.hh @@ -37,6 +37,7 @@ #include <dune/pdelab/common/function.hh> #endif +#include <dune/stuff/aliases.hh> #include <dune/stuff/common/exceptions.hh> #include <dune/stuff/common/memory.hh> -- GitLab