From 1896c1baadebd449d2e2fcc3417f9baa52aa6b8c Mon Sep 17 00:00:00 2001
From: Kevin Buzzard <k.buzzard@imperial.ac.uk>
Date: Sat, 23 Sep 2023 09:38:51 +0100
Subject: [PATCH] update lean4game

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 1570769..ad94d3d 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -44,10 +44,10 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean4game.git",
     "subDir?": "server",
-    "rev": "87cb299b1f264a3e604b533f9e0854c1a948fee0",
+    "rev": "b01dd1de6e4179f4134b1aa0991c112f5b7e1bbe",
     "opts": {},
     "name": "GameServer",
-    "inputRev?": "87cb299b1f264a3e604b533f9e0854c1a948fee0",
+    "inputRev?": "b01dd1de6e4179f4134b1aa0991c112f5b7e1bbe",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",