aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
diff options
context:
space:
mode:
authorBhargava Shastry <bshastry@sect.tu-berlin.de>2018-10-15 23:44:46 +0800
committerBhargava Shastry <bshastry@sect.tu-berlin.de>2018-10-17 22:42:51 +0800
commit546b08c158723d560b8eb4c78032043338e65590 (patch)
tree13faef8201be4b389a17d69ed7c60e6ba69cfe2a /libsolidity/formal
parentaf3300b86caee20efe9df4b75800f73d8f027a85 (diff)
downloaddexon-solidity-546b08c158723d560b8eb4c78032043338e65590.tar.gz
dexon-solidity-546b08c158723d560b8eb4c78032043338e65590.tar.zst
dexon-solidity-546b08c158723d560b8eb4c78032043338e65590.zip
Fix compiler warning: clang-8 warns of explicitly-defined op implicitly deleted for Expression object's copy and move constructors
Diffstat (limited to 'libsolidity/formal')
-rw-r--r--libsolidity/formal/SolverInterface.h2
1 files changed, 0 insertions, 2 deletions
diff --git a/libsolidity/formal/SolverInterface.h b/libsolidity/formal/SolverInterface.h
index 8bbd0417..2c450942 100644
--- a/libsolidity/formal/SolverInterface.h
+++ b/libsolidity/formal/SolverInterface.h
@@ -62,8 +62,6 @@ public:
Expression(Expression const&) = default;
Expression(Expression&&) = default;
- Expression& operator=(Expression const&) = default;
- Expression& operator=(Expression&&) = default;
bool hasCorrectArity() const
{