From f7bc5ac5146e02d3c39a3056bc9f458e92d7bbf7 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 17 May 2014 13:44:51 -0700
Subject: [PATCH] fix(library/kernel_bindings): style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/kernel_bindings.cpp | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/library/kernel_bindings.cpp b/src/library/kernel_bindings.cpp
index 58c2587b5..da54fb2de 100644
--- a/src/library/kernel_bindings.cpp
+++ b/src/library/kernel_bindings.cpp
@@ -90,9 +90,11 @@ template<level (*F)(level const & l1, level const & l2)>
 static int mk_level_max_core(lua_State * L)   {
     int nargs = lua_gettop(L);
     level r;
-    if (nargs == 0) r = mk_level_zero();
-    else if (nargs == 1) r = to_level_ext(L, 1);
-    else {
+    if (nargs == 0) {
+        r = mk_level_zero();
+    } else if (nargs == 1) {
+        r = to_level_ext(L, 1);
+    } else {
         r = F(to_level_ext(L, nargs - 1), to_level_ext(L, nargs));
         for (int i = nargs - 2; i >= 1; i--)
             r = F(to_level_ext(L, i), r);