aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLeonardo Alt <leonardoaltt@gmail.com>2018-03-01 01:31:11 +0800
committerLeonardo Alt <leonardoaltt@gmail.com>2018-03-01 01:31:11 +0800
commit8b1b4b78c043d54f493dc9e2330bf9df5cf93755 (patch)
tree9fae50c00e28ea492c35d4d44a04d7808f9b775e
parentcff0836c032ecee2710f1c17c49eec0a3b4aa9fc (diff)
downloaddexon-solidity-8b1b4b78c043d54f493dc9e2330bf9df5cf93755.tar.gz
dexon-solidity-8b1b4b78c043d54f493dc9e2330bf9df5cf93755.tar.zst
dexon-solidity-8b1b4b78c043d54f493dc9e2330bf9df5cf93755.zip
Fix PR comments
-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
{