From 17af38f93b23107396b57e8db7dd47b78336f8ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20Gl=C3=A4ser?= <dennis.glaeser@iws.uni-stuttgart.de>
Date: Thu, 5 Jan 2017 12:08:37 +0100
Subject: [PATCH] Merge branch 'feature/missing-include' into 'master'

Add missing include <functional>

See merge request !325
---
 dumux/common/pointsource.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dumux/common/pointsource.hh b/dumux/common/pointsource.hh
index 2ac7d25245..93800b8369 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