update lean4game

2023-10-12 18:48:01 +01:00
parent 8e56a06ef2
commit e86866b1a2
2 changed files with 3 additions and 3 deletions
--- 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 -/