From eda53577232d90d0a9482486e05466e8e2ae2d6f Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Mon, 5 Dec 2022 16:25:20 +0100
Subject: [PATCH] enableInitializersExecution

---
 server/leanserver/Main.lean | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/server/leanserver/Main.lean b/server/leanserver/Main.lean
index 114c168..95c0a6e 100644
--- a/server/leanserver/Main.lean
+++ b/server/leanserver/Main.lean
@@ -2,8 +2,11 @@ import GameServer.Watchdog
 import GameServer.FileWorker
 
 
-def main : List String → IO UInt32 := fun args => do
+unsafe def main : List String → IO UInt32 := fun args => do
   let e ← IO.getStderr
+
+  Lean.enableInitializersExecution
+
   if args[0]? == some "--server" then
     MyServer.Watchdog.watchdogMain []
   else if args[0]? == some "--worker" then