From b28c427cb6472000a2c83fcb56ecdfe381312e14 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 30 Jan 2021 10:52:57 -0800
Subject: [PATCH] chore: update stage0

---
 stage0/src/runtime/alloc.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stage0/src/runtime/alloc.cpp b/stage0/src/runtime/alloc.cpp
index b2071382f5..b53cc94f93 100644
--- a/stage0/src/runtime/alloc.cpp
+++ b/stage0/src/runtime/alloc.cpp
@@ -10,7 +10,7 @@ Author: Leonardo de Moura
 #include <lean/alloc.h>
 #include <lean/lean.h>
 
-#define LEAN_PAGE_SIZE             65536       // 64 Kb
+#define LEAN_PAGE_SIZE             8192        // 8 Kb
 #define LEAN_SEGMENT_SIZE          8*1024*1024 // 8 Mb
 #define LEAN_NUM_SLOTS             (LEAN_MAX_SMALL_OBJECT_SIZE / LEAN_OBJECT_SIZE_DELTA)
 #define LEAN_MAX_TO_EXPORT_OBJS    1024