From: Wolfgang Bangerth Date: Fri, 24 Jul 2015 18:16:54 +0000 (-0500) Subject: Remove an unnecessary #include file. X-Git-Tag: v8.4.0-rc2~724^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=92740e4f497882fc6651140281d1c08b7cf1dc50;p=dealii.git Remove an unnecessary #include file. --- 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