From 636f25e79b25ebaf66f23d22945573631c4fcdb0 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 22 Aug 2017 10:54:22 -0600 Subject: [PATCH] Mark a destructor '=default'. --- include/deal.II/lac/vector_memory.h | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/include/deal.II/lac/vector_memory.h b/include/deal.II/lac/vector_memory.h index 9dd0e4fe79..ee8b4c344d 100644 --- a/include/deal.II/lac/vector_memory.h +++ b/include/deal.II/lac/vector_memory.h @@ -74,10 +74,11 @@ class VectorMemory : public Subscriptor public: /** - * Virtual destructor is needed as there are virtual functions in this + * Virtual destructor. This destructor is declared @p virtual to allow + * destroying objects of derived type through pointers to this base * class. */ - virtual ~VectorMemory () {} + virtual ~VectorMemory () = default; /** * Return a pointer to a new vector. The number of elements or their -- 2.39.5