aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--libsolidity/formal/SSAVariable.h4
-rw-r--r--libsolidity/formal/SymbolicIntVariable.h4
-rw-r--r--libsolidity/formal/SymbolicVariable.h4
3 files changed, 0 insertions, 12 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();
diff --git a/libsolidity/formal/SymbolicIntVariable.h b/libsolidity/formal/SymbolicIntVariable.h
index 8a9b5d5d..afa25f1b 100644
--- a/libsolidity/formal/SymbolicIntVariable.h
+++ b/libsolidity/formal/SymbolicIntVariable.h
@@ -36,10 +36,6 @@ public:
Declaration const* _decl,
smt::SolverInterface& _interface
);
- SymbolicIntVariable(SymbolicIntVariable const&) = default;
- SymbolicIntVariable(SymbolicIntVariable&&) = default;
- SymbolicIntVariable& operator=(SymbolicIntVariable const&) = default;
- SymbolicIntVariable& operator=(SymbolicIntVariable&&) = default;
/// Sets the var to 0.
void setZeroValue(int _seq);
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
{