From 90c7abbaee43190a10582be9fab33f8958c39fa7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20Gr=C3=BCninger?=
 <christoph.grueninger@iws.uni-stuttgart.de>
Date: Thu, 5 Jan 2017 12:04:32 +0100
Subject: [PATCH] Add missing include <functional>

(cherry picked from commit 8713bc08c6cffd07df1a82b59009b0f664926cd8)
---
 dumux/common/pointsource.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dumux/common/pointsource.hh b/dumux/common/pointsource.hh
index 2afe091b74..308fe491f0 100644
--- a/dumux/common/pointsource.hh
+++ b/dumux/common/pointsource.hh
@@ -25,6 +25,8 @@
 #ifndef DUMUX_POINTSOURCE_HH
 #define DUMUX_POINTSOURCE_HH
 
+#include <functional>
+
 #include <dumux/common/boundingboxtree.hh>
 #include <dumux/common/parameters.hh>
 #include <dumux/common/propertysystem.hh>
-- 
GitLab