Fix a typo and whitespaces

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.");
 	}

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);