diff --git a/dune/gdt/spaces/interface.hh b/dune/gdt/spaces/interface.hh index cab30a1152d6797c0354b32b7573001dd50e86b7..91889f9aa71712273dc8d24d59cfb5b353a70f24 100644 --- a/dune/gdt/spaces/interface.hh +++ b/dune/gdt/spaces/interface.hh @@ -29,6 +29,7 @@ #include <dune/xt/common/ranges.hh> #include <dune/xt/grid/type_traits.hh> #include <dune/xt/common/type_traits.hh> +#include <dune/xt/common/tuple.hh> #include <dune/xt/la/container/pattern.hh>