From 6e37d0e6d249d5779400c0147203a29fe0e63fb4 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 9 Nov 2018 13:48:31 +0000
Subject: [PATCH] Add missing virtual destructor

8a37a2dd7 made what() virtual, but failed to add a virtual destructor.
---
 src/util/invariant.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/util/invariant.h b/src/util/invariant.h
index d985bc2b0ad..08f359c6725 100644
--- a/src/util/invariant.h
+++ b/src/util/invariant.h
@@ -93,6 +93,8 @@ class invariant_failedt
   const std::string reason;
 
 public:
+  virtual ~invariant_failedt() = default;
+
   virtual std::string what() const noexcept;
 
   invariant_failedt(