From 8020a79e5e2382b25a4a834d1d2f53684bbff4f9 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 30 Mar 2021 17:34:34 -0600 Subject: [PATCH] Remove unnecessary header includes. --- examples/step-15/step-15.cc | 2 -- 1 file changed, 2 deletions(-) diff --git a/examples/step-15/step-15.cc b/examples/step-15/step-15.cc index eeab634d80..a7a6749949 100644 --- a/examples/step-15/step-15.cc +++ b/examples/step-15/step-15.cc @@ -24,7 +24,6 @@ // thus not be further commented on. #include #include -#include #include #include @@ -37,7 +36,6 @@ #include #include -#include #include #include -- 2.39.5