diff options
Diffstat (limited to 'libsolidity/formal/SymbolicVariable.h')
| -rw-r--r-- | libsolidity/formal/SymbolicVariable.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libsolidity/formal/SymbolicVariable.h b/libsolidity/formal/SymbolicVariable.h index e4e4ea8d..e29ded26 100644 --- a/libsolidity/formal/SymbolicVariable.h +++ b/libsolidity/formal/SymbolicVariable.h @@ -40,6 +40,7 @@ public: Declaration const& _decl, smt::SolverInterface& _interface ); + virtual ~SymbolicVariable() = default; smt::Expression operator()(int _seq) const { |