]> https://gitweb.dealii.org/ - dealii.git/commitdiff
add missing header file needed for boost 1.65 5086/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 14 Sep 2017 17:20:29 +0000 (13:20 -0400)
committerTimo Heister <timo.heister@gmail.com>
Thu, 14 Sep 2017 17:20:29 +0000 (13:20 -0400)
include/deal.II/distributed/grid_tools.h

index 319c70ee7d2c794c54162dfafed6b5d1da54a63d..5d378ea1f8110467d14af39419f90ac91af26f89 100644 (file)
@@ -25,6 +25,7 @@ DEAL_II_DISABLE_EXTRA_DIAGNOSTICS
 #include <boost/optional.hpp>
 #include <boost/archive/binary_oarchive.hpp>
 #include <boost/archive/binary_iarchive.hpp>
+#include <boost/serialization/vector.hpp>
 #include <boost/iostreams/stream.hpp>
 #include <boost/iostreams/filtering_stream.hpp>
 #include <boost/iostreams/device/back_inserter.hpp>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.