gameServer/hedgewars-server.hs
changeset 4974 078cd026a7b1
parent 4973 53411a26df7e
child 4975 31da8979e5b1
--- 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