From c9b23d9829b745ece900efa05df30bc6aa3776e3 Mon Sep 17 00:00:00 2001
From: Yoichi Hirai <i@yoichihirai.com>
Date: Wed, 7 Sep 2016 13:54:57 +0200
Subject: [PATCH] Fix a typo and whitespaces

---
 libdevcore/Common.h                   | 2 +-
 libdevcore/vector_ref.h               | 2 +-
 libsolidity/formal/Why3Translator.cpp | 2 +-
 libsolidity/formal/Why3Translator.h   | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/libdevcore/Common.h b/libdevcore/Common.h
index 8bc5f58f5..6fbc112d4 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 46d069462..698377c9f 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 e16c41abc..834024fab 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 e5b168441..236e44145 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);