From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 30 Mar 2021 23:34:34 +0000 (-0600)
Subject: Remove unnecessary header includes.
X-Git-Tag: v9.3.0-rc1~263^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11986%2Fhead;p=dealii.git

Remove unnecessary header includes.
---

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 <deal.II/base/quadrature_lib.h>
 #include <deal.II/base/function.h>
-#include <deal.II/base/logstream.h>
 #include <deal.II/base/utilities.h>
 
 #include <deal.II/lac/vector.h>
@@ -37,7 +36,6 @@
 
 #include <deal.II/grid/tria.h>
 #include <deal.II/grid/grid_generator.h>
-#include <deal.II/grid/manifold_lib.h>
 #include <deal.II/grid/grid_refinement.h>
 
 #include <deal.II/dofs/dof_handler.h>