From f80e35655d39c605170d525c3a0c1445b9f21b80 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Thu, 17 Aug 2017 00:38:54 +0200
Subject: [PATCH] Include correct headers for serialization of std::array

---
 source/dofs/dof_handler_policy.cc | 1 +
 source/hp/dof_handler.cc          | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/source/dofs/dof_handler_policy.cc b/source/dofs/dof_handler_policy.cc
index 41569e4a6b..17e4797293 100644
--- a/source/dofs/dof_handler_policy.cc
+++ b/source/dofs/dof_handler_policy.cc
@@ -36,6 +36,7 @@ DEAL_II_DISABLE_EXTRA_DIAGNOSTICS
 #include <boost/iostreams/filtering_stream.hpp>
 #include <boost/iostreams/device/back_inserter.hpp>
 #include <boost/iostreams/filter/gzip.hpp>
+#include <boost/serialization/array.hpp>
 DEAL_II_ENABLE_EXTRA_DIAGNOSTICS
 
 #include <set>
diff --git a/source/hp/dof_handler.cc b/source/hp/dof_handler.cc
index 7ffdb9beaa..d0e8ab3eab 100644
--- a/source/hp/dof_handler.cc
+++ b/source/hp/dof_handler.cc
@@ -30,6 +30,8 @@
 #include <deal.II/distributed/tria.h>
 #include <deal.II/distributed/grid_tools.h>
 
+#include <boost/serialization/array.hpp>
+
 #include <set>
 #include <algorithm>
 #include <functional>
-- 
2.39.5