From 968aca114e1fb0738e2305cb0ff8a64475ead238 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 11 May 2021 15:43:18 -0600
Subject: [PATCH] Remove a destructor now no longer necessary.

Leave the declaration in place but =default it, so that we continue to implement
the rule of 7.
---
 include/deal.II/base/aligned_vector.h | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/include/deal.II/base/aligned_vector.h b/include/deal.II/base/aligned_vector.h
index 4d48f7d433..4ae140b8e4 100644
--- a/include/deal.II/base/aligned_vector.h
+++ b/include/deal.II/base/aligned_vector.h
@@ -90,7 +90,7 @@ public:
   /**
    * Destructor.
    */
-  ~AlignedVector();
+  ~AlignedVector() = default;
 
   /**
    * Copy constructor.
@@ -842,14 +842,6 @@ inline AlignedVector<T>::AlignedVector(const size_type size, const T &init)
 
 
 
-template <class T>
-inline AlignedVector<T>::~AlignedVector()
-{
-  clear();
-}
-
-
-
 template <class T>
 inline AlignedVector<T>::AlignedVector(const AlignedVector<T> &vec)
   : elements(nullptr, [](T *) { Assert(false, ExcInternalError()); })
-- 
2.39.5