From 808c3f3df58d32c5d6056ece7da23db41d617c2b Mon Sep 17 00:00:00 2001
From: liangdzou <liang.d.zou@gmail.com>
Date: Mon, 17 Sep 2018 22:13:21 +0800
Subject: fix some format typos

---
 test/libsolidity/SMTChecker.cpp        | 4 ++--
 test/libsolidity/SolidityOptimizer.cpp | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'test')

diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp
index 736aa46c..1f6f765f 100644
--- a/test/libsolidity/SMTChecker.cpp
+++ b/test/libsolidity/SMTChecker.cpp
@@ -343,7 +343,7 @@ BOOST_AUTO_TEST_CASE(bool_simple)
 	text = R"(
 		contract C {
 			function f(bool x) public pure {
-				if(x) {
+				if (x) {
 					assert(x);
 				} else {
 					assert(!x);
@@ -380,7 +380,7 @@ BOOST_AUTO_TEST_CASE(bool_int_mixed)
 		contract C {
 			function f(bool x) public pure {
 				uint a;
-				if(x)
+				if (x)
 					a = 1;
 				assert(!x || a > 0);
 			}
diff --git a/test/libsolidity/SolidityOptimizer.cpp b/test/libsolidity/SolidityOptimizer.cpp
index 1c80e82e..f925d36e 100644
--- a/test/libsolidity/SolidityOptimizer.cpp
+++ b/test/libsolidity/SolidityOptimizer.cpp
@@ -352,7 +352,7 @@ BOOST_AUTO_TEST_CASE(incorrect_storage_access_bug)
 			mapping(uint => uint) data;
 			function f() public returns (uint)
 			{
-				if(data[now] == 0)
+				if (data[now] == 0)
 					data[uint(-7)] = 5;
 				return data[now];
 			}
-- 
cgit