+++ /dev/null
-/* -----------------------------------------------------------------------------
- *
- * (c) The GHC Team 1999
- *
- * Header for Ticky.c
- *
- * ---------------------------------------------------------------------------*/
-
-extern void PrintTickyInfo(void);