From c9b23d9829b745ece900efa05df30bc6aa3776e3 Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Wed, 7 Sep 2016 13:54:57 +0200 Subject: Fix a typo and whitespaces --- libsolidity/formal/Why3Translator.cpp | 2 +- libsolidity/formal/Why3Translator.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'libsolidity') 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 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); -- cgit