fix lake-manifest

leanprover-community · Apr 25, 2023 · 796a26a · 796a26a
1 parent a4f85ad
commit 796a26a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -22,7 +22,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean4game.git",
     "subDir?": "server",
-    "rev": "8246ae6eac0f8a88f962ccd645aa3cfaa8e8c177",
+    "rev": "759e9722f869364695ab32a4b624668268ff5d13",
     "name": "GameServer",
     "inputRev?": "main"}},
   {"git":