From 9622d05492553bb84a62c6d4d15d87c10cdfe77a Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Fri, 5 Jan 2018 11:49:31 +0100
Subject: [PATCH] Remove unused header
---
src/harmonicmaps.cc | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/harmonicmaps.cc b/src/harmonicmaps.cc
index f7902d9b..91e68fd2 100644
--- a/src/harmonicmaps.cc
+++ b/src/harmonicmaps.cc
@@ -38,7 +38,6 @@ namespace Dune {
#include <dune/fufem/functiontools/basisinterpolator.hh>
#include <dune/fufem/functiontools/boundarydofs.hh>
#include <dune/fufem/functionspacebases/dunefunctionsbasis.hh>
-#include <dune/fufem/discretizationerror.hh>
#include <dune/fufem/dunepython.hh>
#include <dune/solvers/solvers/iterativesolver.hh>
--
GitLab