diff -r 15ff0ad81d49 -r 5df0ab96b60a hedgewars/options.inc
--- a/hedgewars/options.inc	Sun Nov 26 18:15:31 2006 +0000
+++ b/hedgewars/options.inc	Sun Nov 26 20:33:46 2006 +0000
@@ -17,7 +17,7 @@
  *)
 
 {$J+}
-{ $DEFINE DEBUGFILE}
+{$DEFINE DEBUGFILE}
 { $DEFINE COUNTTICKS}
 { $DEFINE DUMP}
 { $DEFINE TRACEAIACTIONS}