From 19a996bcb9502ec1fc0b2b3259bfaa47f17b34e3 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 1 Nov 2012 17:01:58 +0100
Subject: [PATCH] Follow gcc's suggestions about using braces

---
 os/src/test/dde_kit/test.cc | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/os/src/test/dde_kit/test.cc b/os/src/test/dde_kit/test.cc
index 2ef9f39514..effffbf2d0 100644
--- a/os/src/test/dde_kit/test.cc
+++ b/os/src/test/dde_kit/test.cc
@@ -560,13 +560,15 @@ static void test_resources()
 		{ 0xdfd0, 16, false},
 	};
 
-	for (unsigned i = 0; i < MAX_ROUNDS; ++i)
-		if (round[i].req)
+	for (unsigned i = 0; i < MAX_ROUNDS; ++i) {
+		if (round[i].req) {
 			PDBG("mreq [%04lx,%04lx) => %d",
 			     round[i].a, round[i].a + round[i].s, dde_kit_request_io(round[i].a, round[i].s));
-		else
+		} else {
 			PDBG("mrel [%04lx,%04lx) => %d",
 			     round[i].a, round[i].a + round[i].s, dde_kit_release_io(round[i].a, round[i].s));
+		}
+	}
 
 	dde_kit_addr_t vaddr; int ret;