--- a/hedgewars/options.inc Fri May 18 16:40:43 2007 +0000 +++ b/hedgewars/options.inc Fri May 18 17:35:12 2007 +0000 @@ -19,7 +19,6 @@ {$J+} {$DEFINE DEBUGFILE} -{ $DEFINE COUNTTICKS} { $DEFINE DUMP} { $DEFINE TRACEAIACTIONS}