From 23b185e075b1f45c86c6a9903bb01e5bfab26b73 Mon Sep 17 00:00:00 2001
From: Rebecca Neumann <rebecca@dune-project.org>
Date: Fri, 13 May 2011 12:25:37 +0000
Subject: [PATCH] add missing header

[[Imported from SVN: r6442]]
---
 dune/common/parallel/remoteindices.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune/common/parallel/remoteindices.hh b/dune/common/parallel/remoteindices.hh
index b055c80d5..33877c428 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>
-- 
GitLab