diff options
| author | chriseth <chris@ethereum.org> | 2016-09-08 02:05:30 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-08 02:05:30 +0800 |
| commit | ce11580988b6aae22845fbebfb09eb9c3881b250 (patch) | |
| tree | 8444a9a331ea0524cd56c42491bedffc73101276 | |
| parent | f4172d342a36574f604be6e1bf2b2edb9c2526e7 (diff) | |
| parent | c9b23d9829b745ece900efa05df30bc6aa3776e3 (diff) | |
| download | dexon-solidity-ce11580988b6aae22845fbebfb09eb9c3881b250.tar.gz dexon-solidity-ce11580988b6aae22845fbebfb09eb9c3881b250.tar.zst dexon-solidity-ce11580988b6aae22845fbebfb09eb9c3881b250.zip | |
Merge pull request #1041 from pirapira/typo_and_whitespace
Fix a typo and a whitespace inconsistency
| -rw-r--r-- | libdevcore/Common.h | 2 | ||||
| -rw-r--r-- | libdevcore/vector_ref.h | 2 | ||||
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 2 | ||||
| -rw-r--r-- | libsolidity/formal/Why3Translator.h | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/libdevcore/Common.h b/libdevcore/Common.h index 8bc5f58f..6fbc112d 100644 --- a/libdevcore/Common.h +++ b/libdevcore/Common.h @@ -23,7 +23,7 @@ #pragma once -// way to many unsigned to size_t warnings in 32 bit build +// way too many unsigned to size_t warnings in 32 bit build #ifdef _M_IX86 #pragma warning(disable:4244) #endif diff --git a/libdevcore/vector_ref.h b/libdevcore/vector_ref.h index 46d06946..698377c9 100644 --- a/libdevcore/vector_ref.h +++ b/libdevcore/vector_ref.h @@ -7,7 +7,7 @@ #include <string> #ifdef __INTEL_COMPILER -#pragma warning(disable:597) //will not be called for implicit or explicit conversions +#pragma warning(disable:597) // will not be called for implicit or explicit conversions #endif namespace dev diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index e16c41ab..834024fa 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -683,7 +683,7 @@ bool Why3Translator::visit(Literal const& _literal) else add("(of_int " + toString(type->literalValue(&_literal)) + ")"); break; - } + } default: error(_literal, "Not supported."); } diff --git a/libsolidity/formal/Why3Translator.h b/libsolidity/formal/Why3Translator.h index 46601f89..1b80ed61 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); |