From 92740e4f497882fc6651140281d1c08b7cf1dc50 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 24 Jul 2015 13:16:54 -0500 Subject: [PATCH] Remove an unnecessary #include file. --- source/distributed/grid_refinement.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/source/distributed/grid_refinement.cc b/source/distributed/grid_refinement.cc index 2fc0737c04..805b6f7c90 100644 --- a/source/distributed/grid_refinement.cc +++ b/source/distributed/grid_refinement.cc @@ -34,7 +34,6 @@ #include #include #include -#include DEAL_II_NAMESPACE_OPEN -- 2.39.5