diff -r 53411a26df7e -r 078cd026a7b1 gameServer/hedgewars-server.hs
--- a/gameServer/hedgewars-server.hs	Mon Feb 28 22:04:10 2011 +0300
+++ b/gameServer/hedgewars-server.hs	Mon Feb 28 22:28:43 2011 +0300
@@ -15,6 +15,7 @@
 import Opts
 import CoreTypes
 import ServerCore
+import ConfigFile
 
 #if !defined(mingw32_HOST_OS)
 import System.Posix