From: Wolfgang Bangerth Date: Wed, 27 Apr 2022 23:11:08 +0000 (-0600) Subject: Remove unnecessary include. X-Git-Tag: v9.4.0-rc1~299^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F13650%2Fhead;p=dealii.git Remove unnecessary include. --- diff --git a/tests/dofs/nodal_renumbering_01.cc b/tests/dofs/nodal_renumbering_01.cc index 368c798773..4165615c28 100644 --- a/tests/dofs/nodal_renumbering_01.cc +++ b/tests/dofs/nodal_renumbering_01.cc @@ -35,8 +35,6 @@ #include #include -#include - #include #include