From 0d97d2214c53bb71d091b78455ad90304df9bcd1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 2 Nov 2022 09:37:55 -0700 Subject: [PATCH] adding virtual destructor Signed-off-by: Nikolaj Bjorner --- src/ast/simplifiers/dependent_expr_state.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ast/simplifiers/dependent_expr_state.h b/src/ast/simplifiers/dependent_expr_state.h index 5156d1126..e67aa56cc 100644 --- a/src/ast/simplifiers/dependent_expr_state.h +++ b/src/ast/simplifiers/dependent_expr_state.h @@ -39,6 +39,7 @@ Author: */ class dependent_expr_state { public: + virtual ~dependent_expr_state() {} virtual unsigned size() const = 0; virtual dependent_expr const& operator[](unsigned i) = 0; virtual void update(unsigned i, dependent_expr const& j) = 0;