Include correct headers for serialization of std::array

diff --git a/source/dofs/dof_handler_policy.cc b/source/dofs/dof_handler_policy.cc
index 41569e4a6bf594ee9bb23a81b4959796d641cc00..17e4797293ae1be6e1323fc6f606450c178e8d88 100644 (file)
--- 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 7ffdb9beaad79c3ce28dc09a1d68f20d0ae34a18..d0e8ab3eab18a7171da46f4250d5cfcc407516dc 100644 (file)
--- 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>