From 5fb6ad80f913dfb5ff878dac10b20352287e727c Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 27 Apr 2022 17:11:08 -0600 Subject: [PATCH] Remove unnecessary include. --- tests/dofs/nodal_renumbering_01.cc | 2 -- 1 file changed, 2 deletions(-) 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 -- 2.39.5