merge from dev

1 files changed, 3 insertions, 1 deletions

diff --git a/src/init.c b/src/init.c
index e957559..d1fe35f 100644
--- a/src/init.c
+++ b/src/init.c
@@ -526,7 +526,9 @@ void mi_process_init(void) mi_attr_noexcept {
   } 
   if (mi_option_is_enabled(mi_option_reserve_os_memory)) {
     long ksize = mi_option_get(mi_option_reserve_os_memory);
-    if (ksize > 0) mi_reserve_os_memory((size_t)ksize*KiB, true /* commit? */, true /* allow large pages? */);
+    if (ksize > 0) {
+      mi_reserve_os_memory((size_t)ksize*KiB, true /* commit? */, true /* allow large pages? */);
+    }
   }
 }