hedgewars/options.inc
changeset 495 62c1c2b4414c
parent 487 7ef6a98f0ede
child 515 270f10276d2e
--- a/hedgewars/options.inc	Mon Feb 26 17:09:13 2007 +0000
+++ b/hedgewars/options.inc	Sun Mar 11 17:19:28 2007 +0000
@@ -18,7 +18,7 @@
 
 {$J+}
 
-{ $DEFINE DEBUGFILE}
+{$DEFINE DEBUGFILE}
 { $DEFINE COUNTTICKS}
 { $DEFINE DUMP}
 { $DEFINE TRACEAIACTIONS}