Fix ticky build
authorSimon Marlow <marlowsd@gmail.com>
Thu, 6 Aug 2009 09:30:21 +0000 (09:30 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 6 Aug 2009 09:30:21 +0000 (09:30 +0000)
rts/Ticky.c

index 4737f4a..c874d1a 100644 (file)
@@ -12,7 +12,6 @@
 #include "PosixSource.h"
 #include "Rts.h"
 
-#include "TickyCounters.h"
 #include "Ticky.h"
 
 /* -----------------------------------------------------------------------------