]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Removed unnecessary header.
authorLuca Heltai <luca.heltai@sissa.it>
Wed, 14 Jan 2015 15:16:03 +0000 (16:16 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Thu, 15 Jan 2015 21:45:06 +0000 (22:45 +0100)
examples/step-7/step-7.cc

index 0bc9e4deaf8891f91aef474ba92812029c13f25f..f66e0448076786fabf681607df0fe73fff00cf6c 100644 (file)
@@ -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>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.