diff --git a/dumux/common/parameters.hh b/dumux/common/parameters.hh index a3949028bc37a566498f0f45a89f545cf8e676a9..9dee178993366a7b70f56454c6da1d924e7669bd 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>