From 3b6575f3529651826a1d9744201f7b51db17dfce Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 19 Sep 2014 06:53:45 -0500 Subject: [PATCH] Remove unnecessary #include. --- include/deal.II/base/graph_coloring.h | 1 - 1 file changed, 1 deletion(-) diff --git a/include/deal.II/base/graph_coloring.h b/include/deal.II/base/graph_coloring.h index 8ec3788fd1..fa55762f39 100644 --- a/include/deal.II/base/graph_coloring.h +++ b/include/deal.II/base/graph_coloring.h @@ -22,7 +22,6 @@ #include #include #include -#include #include #include -- 2.39.5