hedgewars/options.inc
changeset 487 7ef6a98f0ede
parent 351 29bc9c36ad5f
child 495 62c1c2b4414c
--- a/hedgewars/options.inc	Fri Feb 23 14:24:32 2007 +0000
+++ b/hedgewars/options.inc	Fri Feb 23 14:26:53 2007 +0000
@@ -18,7 +18,7 @@
 
 {$J+}
 
-{$DEFINE DEBUGFILE}
+{ $DEFINE DEBUGFILE}
 { $DEFINE COUNTTICKS}
 { $DEFINE DUMP}
 { $DEFINE TRACEAIACTIONS}