fix typo

leanprover-community · Jan 22, 2024 · 26202e5 · 26202e5
1 parent ed017fa
commit 26202e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/server/GameServer.lean b/server/GameServer.lean
@@ -11,7 +11,7 @@ unsafe def main : List String → IO UInt32 := fun args => do
 
   -- TODO: remove this argument
   if args[0]? == some "--server" then
-    MyServer.FileWorker.workerMain {} args
+    GameServer.FileWorker.workerMain {} args
   else
     e.putStrLn s!"Expected `--server`"
     return 1