From 18c0b264dc1985042b8c9171c08165aefdf3f60b Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias.pipping@fu-berlin.de>
Date: Thu, 3 Nov 2011 00:27:24 +0100
Subject: [PATCH] Provide a virtual destructor

---
 dune/tectonic/nicefunction.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dune/tectonic/nicefunction.hh b/dune/tectonic/nicefunction.hh
index f4dfc107..6140a397 100644
--- a/dune/tectonic/nicefunction.hh
+++ b/dune/tectonic/nicefunction.hh
@@ -10,6 +10,8 @@
 namespace Dune {
 class NiceFunction : public VirtualFunction<double, double> {
 public:
+  virtual ~NiceFunction() {}
+
   virtual double leftDifferential(double s) const = 0;
   virtual double rightDifferential(double s) const = 0;
 };
-- 
GitLab