From 93d87606364468124d9f4072375c82d03c3e5130 Mon Sep 17 00:00:00 2001
From: Neil <nyamatongwe@gmail.com>
Date: Sun, 3 Mar 2019 16:17:24 +1100
Subject: Remove destructor that doesn't need to be defined.

---
 src/Editor.cxx | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/Editor.cxx b/src/Editor.cxx
index 364b31fda..b68643c8f 100644
--- a/src/Editor.cxx
+++ b/src/Editor.cxx
@@ -4021,8 +4021,6 @@ public:
 	CaseFolderASCII() noexcept {
 		StandardASCII();
 	}
-	~CaseFolderASCII() override {
-	}
 };
 
 
-- 
cgit v1.2.3