diff -r e4058e1ba394 -r 455f29b31ed9 hedgewars/options.inc --- a/hedgewars/options.inc Sun Nov 19 12:23:02 2006 +0000 +++ b/hedgewars/options.inc Sun Nov 19 12:29:58 2006 +0000 @@ -17,7 +17,7 @@ *) {$J+} -{$DEFINE DEBUGFILE} +{ $DEFINE DEBUGFILE} { $DEFINE COUNTTICKS} { $DEFINE DUMP} { $DEFINE TRACEAIACTIONS}