From 1a8729125f36beae0fce28a25389b7d54ba507f1 Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Wed, 18 Dec 2019 14:43:54 +0100
Subject: [PATCH] Give ObstacleRestrictor an empty virtual destructor

Otherwise, non-default destructors in derived class are not called
properly when handling a derived class through a base pointer.
---
 dune/solvers/transferoperators/obstaclerestrictor.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dune/solvers/transferoperators/obstaclerestrictor.hh b/dune/solvers/transferoperators/obstaclerestrictor.hh
index 975f4783..2cbf4f0e 100644
--- a/dune/solvers/transferoperators/obstaclerestrictor.hh
+++ b/dune/solvers/transferoperators/obstaclerestrictor.hh
@@ -28,6 +28,8 @@ public:
                           const MultigridTransfer<DiscFuncType>& transfer,
                           const Dune::BitSetVector<blocksize>& critical) = 0;
 
+    virtual ~ObstacleRestrictor() = default;
+
 };
 
 #endif
-- 
GitLab