From: Guido Kanschat Date: Tue, 20 Sep 2011 19:00:45 +0000 (+0000) Subject: remove unnecessary header X-Git-Tag: v8.0.0~3448 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=191a0f4acfaa176e372a266eac7a952848fa3a7f;p=dealii.git remove unnecessary header git-svn-id: https://svn.dealii.org/trunk@24347 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/include/deal.II/base/geometry_info.h b/deal.II/include/deal.II/base/geometry_info.h index 8682c72127..6b24987b06 100644 --- a/deal.II/include/deal.II/base/geometry_info.h +++ b/deal.II/include/deal.II/base/geometry_info.h @@ -16,7 +16,6 @@ #include #include #include -#include DEAL_II_NAMESPACE_OPEN