From cdbf69906dec697fb9183144b9d155f5afdf8430 Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Wed, 18 Dec 2019 15:11:28 +0100
Subject: [PATCH] Add missing default virtual destructor
---
dune/gfe/localenergy.hh | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/dune/gfe/localenergy.hh b/dune/gfe/localenergy.hh
index c5c65ed3..ba6f8da4 100644
--- a/dune/gfe/localenergy.hh
+++ b/dune/gfe/localenergy.hh
@@ -22,6 +22,12 @@ public:
energy (const typename Basis::LocalView& localView,
const std::vector<TargetSpace>& localSolution) const = 0;
+ /** Empty virtual default destructor
+ *
+ * To allow proper destruction of derived classes through a base class pointer
+ */
+ virtual ~LocalEnergy() = default;
+
};
} // namespace GFE
--
GitLab