aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2016-09-08 02:05:30 +0800
committerGitHub <noreply@github.com>2016-09-08 02:05:30 +0800
commitce11580988b6aae22845fbebfb09eb9c3881b250 (patch)
tree8444a9a331ea0524cd56c42491bedffc73101276
parentf4172d342a36574f604be6e1bf2b2edb9c2526e7 (diff)
parentc9b23d9829b745ece900efa05df30bc6aa3776e3 (diff)
downloaddexon-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.h2
-rw-r--r--libdevcore/vector_ref.h2
-rw-r--r--libsolidity/formal/Why3Translator.cpp2
-rw-r--r--libsolidity/formal/Why3Translator.h2
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);