From b83be5179cca28b1086fc9ad25e63bc76d2d6066 Mon Sep 17 00:00:00 2001
From: Adrian Danis <Adrian.Danis@nicta.com.au>
Date: Mon, 21 Jul 2014 10:54:39 +1000
Subject: [PATCH] Trivial: style

---
 src/arch/ia32/kernel/vspace.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/arch/ia32/kernel/vspace.c b/src/arch/ia32/kernel/vspace.c
index 093fa1fd2..4e9b2fcd4 100644
--- a/src/arch/ia32/kernel/vspace.c
+++ b/src/arch/ia32/kernel/vspace.c
@@ -1647,8 +1647,7 @@ decodeIA32FrameInvocation(
     }
 #endif
 
-    case IA32PageGetAddress:
-    {
+    case IA32PageGetAddress: {
         /* Return it in the first message register. */
         assert(n_msgRegisters >= 1);