diff --git a/dune/xt/common/fixed_map.hh b/dune/xt/common/fixed_map.hh index ca4b88ab67be4425b6def86309683163ede05b5d..6530f32686e0404a99f3f4f340a8a075bbd53ac8 100644 --- a/dune/xt/common/fixed_map.hh +++ b/dune/xt/common/fixed_map.hh @@ -16,6 +16,7 @@ #include <array> #include <utility> +#include <boost/array.hpp> #include <boost/assign/list_of.hpp> #include <boost/iterator/iterator_facade.hpp> @@ -116,7 +117,7 @@ public: static constexpr std::size_t N = nin; private: - typedef std::array<value_type, nin> MapType; + typedef boost::array<value_type, nin> MapType; template <class R> friend class FixedMapIterator;