diff --git a/dune/istl/paamg/aggregates.hh b/dune/istl/paamg/aggregates.hh index 77449dc81c5982e12ed04756407a94ee35ec5640..352e6272476f1092305df96dba61ac6f4c9d2b27 100644 --- a/dune/istl/paamg/aggregates.hh +++ b/dune/istl/paamg/aggregates.hh @@ -15,6 +15,7 @@ #include <dune/common/poolallocator.hh> #include <dune/common/sllist.hh> #include <dune/common/unused.hh> +#include <dune/common/ftraits.hh> #include <utility> #include <set>