From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 14 Sep 2017 20:01:34 +0000 (-0400)
Subject: second try in fixing boost serialization missing header
X-Git-Tag: v9.0.0-rc1~1076^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=73910d662c859149addb6f77a90339cdac6d6772;p=dealii.git

second try in fixing boost serialization missing header
---

diff --git a/include/deal.II/distributed/grid_tools.h b/include/deal.II/distributed/grid_tools.h
index 5d378ea1f8..769dae436a 100644
--- a/include/deal.II/distributed/grid_tools.h
+++ b/include/deal.II/distributed/grid_tools.h
@@ -26,6 +26,7 @@ DEAL_II_DISABLE_EXTRA_DIAGNOSTICS
 #include <boost/archive/binary_oarchive.hpp>
 #include <boost/archive/binary_iarchive.hpp>
 #include <boost/serialization/vector.hpp>
+#include <boost/serialization/array.hpp>
 #include <boost/iostreams/stream.hpp>
 #include <boost/iostreams/filtering_stream.hpp>
 #include <boost/iostreams/device/back_inserter.hpp>