Merge pull request #3333 from tautschnig/missing-virt-dest

tautschnig · web-flow · commit c6ae7ccee471 · 2018-11-10T15:31:03.000Z
Add missing virtual destructor [blocks: #2310]
diff --git 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(
