From c66b17f16e06fc3c70fe941c29a7161c7571cd13 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carsten=20Gr=C3=A4ser?= <graeser@dune-project.org> Date: Thu, 15 Sep 2016 16:07:31 +0200 Subject: [PATCH] [cleanup] Remove unused header --- dune/fufem/functionspacebases/refinedp0basis.hh | 1 - 1 file changed, 1 deletion(-) diff --git a/dune/fufem/functionspacebases/refinedp0basis.hh b/dune/fufem/functionspacebases/refinedp0basis.hh index a17261e9..cc435332 100644 --- a/dune/fufem/functionspacebases/refinedp0basis.hh +++ b/dune/fufem/functionspacebases/refinedp0basis.hh @@ -11,7 +11,6 @@ #include <dune/localfunctions/refined/refinedp0.hh> #include <dune/fufem/functionspacebases/functionspacebasis.hh> -#include <dune/fufem/functionspacebases/p0basis.hh> -- GitLab