From: Giovanni Alzetta <giovannialzetta@hotmail.it>
Date: Fri, 13 Apr 2018 19:34:10 +0000 (+0200)
Subject: Removed double include in grid_tools.h
X-Git-Tag: v9.0.0-rc1~182^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6243%2Fhead;p=dealii.git

Removed double include in grid_tools.h
---

diff --git a/include/deal.II/grid/grid_tools.h b/include/deal.II/grid/grid_tools.h
index c6d19deb4b..5d4483a412 100644
--- a/include/deal.II/grid/grid_tools.h
+++ b/include/deal.II/grid/grid_tools.h
@@ -19,7 +19,6 @@
 
 #include <deal.II/base/bounding_box.h>
 #include <deal.II/base/config.h>
-#include <deal.II/base/bounding_box.h>
 #include <deal.II/base/geometry_info.h>
 #include <deal.II/dofs/dof_handler.h>
 #include <deal.II/fe/mapping.h>