diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2016-09-07 19:54:57 +0800 |
|---|---|---|
| committer | Yoichi Hirai <i@yoichihirai.com> | 2016-09-07 20:29:01 +0800 |
| commit | c9b23d9829b745ece900efa05df30bc6aa3776e3 (patch) | |
| tree | 2b281a967297a721ec23bea5f033e15daaa4d397 /libsolidity/formal/Why3Translator.h | |
| parent | 940c5a861291a97e53e92e79450c8fbb9a38b6f2 (diff) | |
| download | dexon-solidity-c9b23d9829b745ece900efa05df30bc6aa3776e3.tar.gz dexon-solidity-c9b23d9829b745ece900efa05df30bc6aa3776e3.tar.zst dexon-solidity-c9b23d9829b745ece900efa05df30bc6aa3776e3.zip | |
Fix a typo and whitespaces
Diffstat (limited to 'libsolidity/formal/Why3Translator.h')
| -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 e5b16844..236e4414 100644 --- a/libsolidity/formal/Why3Translator.h +++ b/libsolidity/formal/Why3Translator.h @@ -108,7 +108,7 @@ private: /// @returns a string representing an expression that is a copy of this.storage std::string copyOfStorage() const; - /// Visits the givin statement and indents it unless it is a block + /// Visits the given statement and indents it unless it is a block /// (which does its own indentation). void visitIndentedUnlessBlock(Statement const& _statement); |