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