gameServer/hedgewars-server.hs
changeset 4921 2efad3acbb74
parent 4905 7842d085acf4
child 4932 f11d80bac7ed
--- a/gameServer/hedgewars-server.hs	Sat Feb 05 15:45:44 2011 +0100
+++ b/gameServer/hedgewars-server.hs	Sat Feb 05 23:15:22 2011 +0300
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, ScopedTypeVariables #-}
+{-# LANGUAGE CPP, ScopedTypeVariables, OverloadedStrings #-}
 
 module Main where
 
@@ -12,6 +12,9 @@
 import Opts
 import CoreTypes
 import ServerCore
+#if defined(OFFICIAL_SERVER)
+import Utils
+#endif
 
 
 #if !defined(mingw32_HOST_OS)