From 9b4c2f53f791f3203f5c2b2a9d5f2635691d3ab9 Mon Sep 17 00:00:00 2001
From: Kilian Weishaupt <kilian.weishaupt@iws.uni-stuttgart.de>
Date: Thu, 16 Apr 2020 10:20:20 +0200
Subject: [PATCH] [common] Fix missing include in parameters

---
 dumux/common/parameters.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dumux/common/parameters.hh b/dumux/common/parameters.hh
index a3949028bc..9dee178993 100644
--- a/dumux/common/parameters.hh
+++ b/dumux/common/parameters.hh
@@ -29,6 +29,7 @@
 #include <sstream>
 #include <unordered_map>
 #include <fstream>
+#include <functional>
 
 #include <dune/common/parametertree.hh>
 #include <dune/common/parametertreeparser.hh>
-- 
GitLab