From cc1fb2a731f4d23d40174903d0adde9ca704e302 Mon Sep 17 00:00:00 2001
From: Valentin Gatien-Baron <valentin.gatien-baron@mlstate.com>
Date: Thu, 9 Jun 2011 18:44:26 +0200
Subject: [PATCH] type error message

---
 src/server_implementation.opa | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server_implementation.opa b/src/server_implementation.opa
index 29a6916..c0f48f6 100644
--- a/src/server_implementation.opa
+++ b/src/server_implementation.opa
@@ -70,7 +70,7 @@ type S.implementation.state = {
     server_starts =
       GameContent.equal_player(server_player, GameParameters.first_player)
     game = Game.reset(state.game)
-    level = state.game.ia.level
+    level = state.ia.level
     if server_starts
     then (
       do Multitub.send_client(c_channel, { who_you_are = client_player ; ~level ; date = none })