From e86866b1a25d40485dd210425c98c1382265b14d Mon Sep 17 00:00:00 2001
From: Kevin Buzzard <k.buzzard@imperial.ac.uk>
Date: Thu, 12 Oct 2023 18:48:01 +0100
Subject: [PATCH] update lean4game

---
 lake-manifest.json | 4 ++--
 lakefile.lean      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 1a40fdc..5446158 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": "a423681150d88e06ae9bda9bb056b8faf83251cb",
+    "rev": "6970f10e30f70ecede1042201e9bd1d838ad1934",
     "opts": {},
     "name": "GameServer",
-    "inputRev?": "a423681150d88e06ae9bda9bb056b8faf83251cb",
+    "inputRev?": "6970f10e30f70ecede1042201e9bd1d838ad1934",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
diff --git a/lakefile.lean b/lakefile.lean
index 1b2cc24..5f82a60 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -8,7 +8,7 @@ def LocalGameServer : Dependency := {
 
 def RemoteGameServer : Dependency := {
   name := `GameServer
-  src := Source.git "https://github.com/leanprover-community/lean4game.git" "a423681150d88e06ae9bda9bb056b8faf83251cb" "server"
+  src := Source.git "https://github.com/leanprover-community/lean4game.git" "6970f10e30f70ecede1042201e9bd1d838ad1934" "server"
 }
 
 /- Choose dependency depending on the environment variable NODE_ENV -/