From: Martin Kronbichler Date: Tue, 31 May 2022 11:15:04 +0000 (+0200) Subject: Remove inclusion of unneeded header X-Git-Tag: v9.4.0-rc1~104^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F13871%2Fhead;p=dealii.git Remove inclusion of unneeded header --- diff --git a/include/deal.II/matrix_free/evaluation_template_factory.h b/include/deal.II/matrix_free/evaluation_template_factory.h index 46d56f89ab..64aaae2b4a 100644 --- a/include/deal.II/matrix_free/evaluation_template_factory.h +++ b/include/deal.II/matrix_free/evaluation_template_factory.h @@ -22,7 +22,6 @@ #include #include -#include #include