From: Peter Munch Date: Fri, 16 Oct 2020 17:18:41 +0000 (+0200) Subject: Remove unnecessary include X-Git-Tag: v9.3.0-rc1~1004^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11048%2Fhead;p=dealii.git Remove unnecessary include --- diff --git a/include/deal.II/multigrid/mg_transfer_global_coarsening.templates.h b/include/deal.II/multigrid/mg_transfer_global_coarsening.templates.h index ac45162ac6..17fd993f73 100644 --- a/include/deal.II/multigrid/mg_transfer_global_coarsening.templates.h +++ b/include/deal.II/multigrid/mg_transfer_global_coarsening.templates.h @@ -30,7 +30,6 @@ #include #include -#include #include