diff options
| author | djudjuu <julfaber@gmail.com> | 2017-05-19 21:45:01 +0800 |
|---|---|---|
| committer | djudjuu <julfaber@gmail.com> | 2017-05-19 21:48:07 +0800 |
| commit | 1d22233a43453a21d9fde6e4ba91e26d651045bd (patch) | |
| tree | ce28a2c414b76cd074ae7b6eb15fb8484d92828a /libsolidity/formal | |
| parent | 6316a76ab915e03e02825ce391d3812098c6b682 (diff) | |
| download | dexon-solidity-1d22233a43453a21d9fde6e4ba91e26d651045bd.tar dexon-solidity-1d22233a43453a21d9fde6e4ba91e26d651045bd.tar.gz dexon-solidity-1d22233a43453a21d9fde6e4ba91e26d651045bd.tar.bz2 dexon-solidity-1d22233a43453a21d9fde6e4ba91e26d651045bd.tar.lz dexon-solidity-1d22233a43453a21d9fde6e4ba91e26d651045bd.tar.xz dexon-solidity-1d22233a43453a21d9fde6e4ba91e26d651045bd.tar.zst dexon-solidity-1d22233a43453a21d9fde6e4ba91e26d651045bd.zip | |
refactoring functionCallAnnotation
Diffstat (limited to 'libsolidity/formal')
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index b6f17907..77d3c217 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -582,7 +582,7 @@ bool Why3Translator::visit(BinaryOperation const& _binaryOperation) bool Why3Translator::visit(FunctionCall const& _node) { - if (_node.annotation().isTypeConversion || _node.annotation().isStructConstructorCall) + if (_node.annotation().kind == FunctionCallKind::TypeConversion || _node.annotation().kind == FunctionCallKind::StructConstructorCall) { error(_node, "Only ordinary function calls supported."); return true; |