From 894708dc9317810bf5903d06dd3798c4d65686bf Mon Sep 17 00:00:00 2001 From: Giovanni Alzetta Date: Fri, 13 Apr 2018 21:34:10 +0200 Subject: [PATCH] Removed double include in grid_tools.h --- include/deal.II/grid/grid_tools.h | 1 - 1 file changed, 1 deletion(-) 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 #include -#include #include #include #include -- 2.39.5