cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix PR comments

Browse Source
This commit is contained in:
Leonardo Alt 2018-02-28 18:31:11 +01:00
parent cff0836c03
commit 8b1b4b78c0
3 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libsolidity/formal/SSAVariable.h
View File

@ -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();

4
libsolidity/formal/SymbolicIntVariable.h
View File

@ -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);

4
libsolidity/formal/SymbolicVariable.h
View File

@ -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
{