From: David Wells <wellsd2@rpi.edu>
Date: Sun, 6 Mar 2016 04:40:31 +0000 (-0500)
Subject: Add missing headers.
X-Git-Tag: v8.5.0-rc1~1229^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=718ee671819a6e245314888b875d513ff235fbde;p=dealii.git

Add missing headers.
---

diff --git a/source/dofs/dof_tools.cc b/source/dofs/dof_tools.cc
index 0563e73226..1aa3e161a3 100644
--- 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>