Remove unnecessary #include.

diff --git a/include/deal.II/base/graph_coloring.h b/include/deal.II/base/graph_coloring.h
index 8ec3788fd1cacab55b4e0588748280e7d424e5bb..fa55762f3999b1445accb7b1c0c6a297dfed0edb 100644 (file)
--- a/include/deal.II/base/graph_coloring.h
+++ b/include/deal.II/base/graph_coloring.h
@@ -22,7 +22,6 @@
 #include <deal.II/base/config.h>
 #include <deal.II/base/thread_management.h>
 #include <deal.II/base/std_cxx11/function.h>
-#include <deal.II/dofs/dof_handler.h>
 #include <boost/unordered_map.hpp>
 #include <boost/unordered_set.hpp>