From: grahambenharper <grahambenharper@gmail.com>
Date: Mon, 27 Jan 2020 19:59:35 +0000 (-0700)
Subject: Remove unused included file
X-Git-Tag: v9.2.0-rc1~605^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9436%2Fhead;p=dealii.git

Remove unused included file
---

diff --git a/examples/step-6/step-6.cc b/examples/step-6/step-6.cc
index 8a647f63b7..71e8889a5f 100644
--- a/examples/step-6/step-6.cc
+++ b/examples/step-6/step-6.cc
@@ -23,7 +23,6 @@
 // The first few files have already been covered in previous examples and will
 // thus not be further commented on.
 #include <deal.II/base/quadrature_lib.h>
-#include <deal.II/base/function_lib.h>
 
 #include <deal.II/dofs/dof_handler.h>
 #include <deal.II/dofs/dof_tools.h>