From 2c3fb6cc6de05cef97d4d219672da5572042f2ba Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Wed, 15 Aug 2018 10:06:35 +0200
Subject: [PATCH] [local.discretefunction] fix broken post_bind()

---
 dune/gdt/local/discretefunction.hh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/dune/gdt/local/discretefunction.hh b/dune/gdt/local/discretefunction.hh
index f8889d54a..10e44c4b9 100644
--- a/dune/gdt/local/discretefunction.hh
+++ b/dune/gdt/local/discretefunction.hh
@@ -72,8 +72,10 @@ public:
   {
   }
 
+  virtual ~ConstLocalDiscreteFunction() = default;
+
 protected:
-  void post_bind(const ElementType& ent) override
+  virtual void post_bind(const ElementType& ent) override
   {
     basis_->bind(ent);
     dof_vector_.bind(ent);
@@ -328,7 +330,7 @@ public:
 protected:
   void post_bind(const ElementType& ent) override final
   {
-    BaseType::bind(ent);
+    BaseType::post_bind(ent);
     dof_vector_.bind(ent);
   }
 
-- 
GitLab