From: Matthias Maier <tamiko@43-1.org>
Date: Tue, 21 May 2019 19:53:06 +0000 (-0500)
Subject: remove obsolete header file
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e58f0edff71e3d3263255c237f00b6b2b0096144;p=code-gallery.git

remove obsolete header file
---

diff --git a/CeresFE/src/ceres.cc b/CeresFE/src/ceres.cc
index 2b2440e..990b0a1 100644
--- a/CeresFE/src/ceres.cc
+++ b/CeresFE/src/ceres.cc
@@ -44,7 +44,6 @@ One per plasticity step:
 #include <deal.II/grid/grid_generator.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/grid/grid_tools.h>
 #include <deal.II/grid/manifold_lib.h>
 #include <deal.II/grid/grid_refinement.h>