diff options
| author | LianaHus <liana@ethdev.com> | 2016-03-10 00:23:05 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2016-03-12 00:49:32 +0800 |
| commit | 58e07151e3fd8503bc0418dba452a822f03ff260 (patch) | |
| tree | 343e697c2ab83417c67b8b7e193a87347a15c039 /libsolidity/formal | |
| parent | 67793f1aedab8cae956e8df0eec5e6a99f06b87b (diff) | |
| download | dexon-solidity-58e07151e3fd8503bc0418dba452a822f03ff260.tar.gz dexon-solidity-58e07151e3fd8503bc0418dba452a822f03ff260.tar.zst dexon-solidity-58e07151e3fd8503bc0418dba452a822f03ff260.zip | |
- inline and assembly keywords added
- some style fixes
Diffstat (limited to 'libsolidity/formal')
| -rw-r--r-- | libsolidity/formal/Why3Translator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/Why3Translator.h b/libsolidity/formal/Why3Translator.h index f4315a7a..588b6d80 100644 --- a/libsolidity/formal/Why3Translator.h +++ b/libsolidity/formal/Why3Translator.h @@ -52,7 +52,7 @@ public: std::string translation() const; private: - /// Returns an error. + /// Creates an error and adds it to errors list. void error(ASTNode const& _node, std::string const& _description); /// Reports a fatal error and throws. void fatalError(ASTNode const& _node, std::string const& _description); |