From 5efb1834b6b7473e13a455647a3b86440b7f9333 Mon Sep 17 00:00:00 2001
From: Luca Heltai <luca.heltai@sissa.it>
Date: Wed, 14 Jan 2015 16:16:51 +0100
Subject: [PATCH] Removed unnecessary header. Step-8.

---
 examples/step-8/step-8.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/step-8/step-8.cc b/examples/step-8/step-8.cc
index 37e45f3e70..8625efab2c 100644
--- a/examples/step-8/step-8.cc
+++ b/examples/step-8/step-8.cc
@@ -36,7 +36,6 @@
 #include <deal.II/grid/grid_refinement.h>
 #include <deal.II/grid/tria_accessor.h>
 #include <deal.II/grid/tria_iterator.h>
-#include <deal.II/grid/tria_boundary_lib.h>
 #include <deal.II/dofs/dof_handler.h>
 #include <deal.II/dofs/dof_accessor.h>
 #include <deal.II/dofs/dof_tools.h>
-- 
2.39.5