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.

diff --git a/include/deal.II/base/aligned_vector.h b/include/deal.II/base/aligned_vector.h
index 4d48f7d433937bf09b6051a410c50d93a1004a64..4ae140b8e4cabacd66187f09aedb4f93199f563c 100644 (file)
--- 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()); })