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(