diff --git a/dune/common/parallel/remoteindices.hh b/dune/common/parallel/remoteindices.hh index b055c80d552092c1196f12f2c38ff12c5507339d..33877c4287e0af26410ea792bc27191d1ffd13ce 100644 --- a/dune/common/parallel/remoteindices.hh +++ b/dune/common/parallel/remoteindices.hh @@ -10,6 +10,7 @@ #include <dune/common/poolallocator.hh> #include <dune/common/sllist.hh> #include <dune/common/static_assert.hh> +#include <dune/common/stdstreams.hh> #include <map> #include <set> #include <utility>