From 57fd302f840cdcf7b944fd237d65ce77372b7b51 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 16 Aug 2019 21:01:14 -0700
Subject: [PATCH] chore(runtime/lean): style

---
 src/runtime/lean.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/lean.h b/src/runtime/lean.h
index 5f5e6b8172..937c3a7c33 100644
--- a/src/runtime/lean.h
+++ b/src/runtime/lean.h
@@ -34,7 +34,7 @@ extern "C" {
 #define LEAN_ALWAYS_INLINE
 #endif
 
- #define LEAN_BYTE(Var, Index) *(((uint8_t*)&Var)+Index)
+#define LEAN_BYTE(Var, Index) *(((uint8_t*)&Var)+Index)
 
 #define LeanMaxCtorTag  245
 #define LeanClosure     246