diff options
Diffstat (limited to 'libsolidity/formal/SSAVariable.h')
-rw-r--r-- | libsolidity/formal/SSAVariable.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/libsolidity/formal/SSAVariable.h b/libsolidity/formal/SSAVariable.h index 4ec92aa1..275e8590 100644 --- a/libsolidity/formal/SSAVariable.h +++ b/libsolidity/formal/SSAVariable.h @@ -40,10 +40,6 @@ public: Declaration const* _decl, smt::SolverInterface& _interface ); - SSAVariable(SSAVariable const&) = default; - SSAVariable(SSAVariable&&) = default; - SSAVariable& operator=(SSAVariable const&) = default; - SSAVariable& operator=(SSAVariable&&) = default; void resetIndex(); |