From: Wolfgang Bangerth Date: Wed, 13 Jan 2021 17:24:13 +0000 (-0700) Subject: Remove some unnecessary #include files. X-Git-Tag: v9.3.0-rc1~631^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11537%2Fhead;p=dealii.git Remove some unnecessary #include files. --- diff --git a/source/fe/mapping_q1.cc b/source/fe/mapping_q1.cc index 090d9a23b5..40d522f37f 100644 --- a/source/fe/mapping_q1.cc +++ b/source/fe/mapping_q1.cc @@ -14,29 +14,8 @@ // --------------------------------------------------------------------- -#include -#include -#include -#include -#include - -#include - -#include -#include -#include #include -#include -#include - -#include - -#include -#include -#include -#include - DEAL_II_NAMESPACE_OPEN diff --git a/source/fe/mapping_q_generic.cc b/source/fe/mapping_q_generic.cc index 4559fb6c9c..0b19c6284d 100644 --- a/source/fe/mapping_q_generic.cc +++ b/source/fe/mapping_q_generic.cc @@ -30,13 +30,10 @@ #include #include -#include #include #include #include -#include - #include #include