Add missing headers.

diff --git a/source/dofs/dof_tools.cc b/source/dofs/dof_tools.cc
index 0563e73226dfbc111a5e2e3239055364f28911ce..1aa3e161a3b944da1f5a3f64f4f976356354f2ba 100644 (file)
--- a/source/dofs/dof_tools.cc
+++ b/source/dofs/dof_tools.cc
@@ -34,9 +34,11 @@
 #include <deal.II/fe/fe.h>
 #include <deal.II/fe/fe_values.h>
 #include <deal.II/fe/fe_tools.h>
+#include <deal.II/hp/dof_handler.h>
 #include <deal.II/hp/fe_collection.h>
-#include <deal.II/hp/q_collection.h>
 #include <deal.II/hp/fe_values.h>
+#include <deal.II/hp/mapping_collection.h>
+#include <deal.II/hp/q_collection.h>
 #include <deal.II/dofs/dof_tools.h>
 #include <deal.II/distributed/tria.h>
 #include <deal.II/distributed/shared_tria.h>