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=refs%2Fpull%2F1192%2Fhead;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