From 411d048d24c24fce284b7b250b8e1d72590fea8f Mon Sep 17 00:00:00 2001
From: Max Kellermann <max.kellermann@gmail.com>
Date: Sat, 8 Feb 2020 11:36:28 +0100
Subject: [PATCH] Type: remove useless BroType destructor

---
 src/Type.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Type.h b/src/Type.h
index 4ea3caf318..15f17d6ecf 100644
--- a/src/Type.h
+++ b/src/Type.h
@@ -83,7 +83,6 @@ const int MATCHES_INDEX_VECTOR = 2;
 class BroType : public BroObj {
 public:
 	explicit BroType(TypeTag tag, bool base_type = false);
-	~BroType() override { }
 
 	// Performs a shallow clone operation of the Bro type.
 	// This especially means that especially for tables the types