From d86cb5f95d890d4a62990e0658b5e4ffbf967927 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?=
 <martin.horenovsky@gmail.com>
Date: Wed, 12 May 2021 23:23:02 +0200
Subject: [PATCH] Add override to virtual destructor of derived class

---
 src/catch2/internal/catch_exception_translator_registry.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/catch2/internal/catch_exception_translator_registry.hpp b/src/catch2/internal/catch_exception_translator_registry.hpp
index 805c6531..59983a5a 100644
--- a/src/catch2/internal/catch_exception_translator_registry.hpp
+++ b/src/catch2/internal/catch_exception_translator_registry.hpp
@@ -16,7 +16,7 @@ namespace Catch {
 
     class ExceptionTranslatorRegistry : public IExceptionTranslatorRegistry {
     public:
-        ~ExceptionTranslatorRegistry();
+        ~ExceptionTranslatorRegistry() override;
         void registerTranslator( const IExceptionTranslator* translator );
         std::string translateActiveException() const override;
         std::string tryTranslators() const;