From 6f184b97eff24847d5adea278c0bdc4eb8dbb5c7 Mon Sep 17 00:00:00 2001 From: Elias Pipping <elias.pipping@fu-berlin.de> Date: Fri, 29 Aug 2014 00:57:11 +0200 Subject: [PATCH] [Cleanup] Remove unused #include --- src/sand-wedge-data/mygrid.hh | 1 - 1 file changed, 1 deletion(-) diff --git a/src/sand-wedge-data/mygrid.hh b/src/sand-wedge-data/mygrid.hh index c4d0768e..2a208eca 100644 --- a/src/sand-wedge-data/mygrid.hh +++ b/src/sand-wedge-data/mygrid.hh @@ -2,7 +2,6 @@ #define SRC_SAND_WEDGE_DATA_MYGRID_HH #include <boost/range/irange.hpp> -#include <boost/algorithm/cxx11/all_of.hpp> #include <dune/common/fmatrix.hh> #include <dune/grid/common/gridfactory.hh> -- GitLab