From c05ff3456ee55a6bf73eb19aeb77457863b716c6 Mon Sep 17 00:00:00 2001
From: Philipp Nordhus <philipp@nhus.de>
Date: Fri, 17 Jun 2016 02:31:20 +0200
Subject: [PATCH] Remove duplicate destructor

Destructor of base class GenericVector calls base class clear()
method, deallocating the memory.
---
 dict/dawg.h | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/dict/dawg.h b/dict/dawg.h
index b37e771503..b6127d0b0b 100644
--- a/dict/dawg.h
+++ b/dict/dawg.h
@@ -368,14 +368,6 @@ struct DawgPosition {
 
 class DawgPositionVector : public GenericVector<DawgPosition> {
  public:
-  /// Overload destructor, since clear() does not delete data_[] any more.
-  ~DawgPositionVector() {
-    if (size_reserved_ > 0) {
-      delete[] data_;
-      size_used_ = 0;
-      size_reserved_ = 0;
-    }
-  }
   /// Overload clear() in order to avoid allocating/deallocating memory
   /// when clearing the vector and re-inserting entries into it later.
   void clear() { size_used_ = 0; }