diff --git a/dune/common/reservedvector.hh b/dune/common/reservedvector.hh index 897befe1927f5548d8a15e3264bc88aa95f92598..2ec2b2b0a9594ce81465b35ed719ae48a1630269 100644 --- a/dune/common/reservedvector.hh +++ b/dune/common/reservedvector.hh @@ -9,6 +9,7 @@ #include <algorithm> #include <iostream> +#include <cstddef> #include <dune/common/genericiterator.hh> #include <initializer_list>