[project @ 2005-10-21 14:41:04 by simonmar]

oops, remove old file

diff --git a/ghc/rts/Itimer.h b/ghc/rts/Itimer.h
deleted file mode 100644 (file)
index af5c140..0000000
--- a/ghc/rts/Itimer.h
+++ /dev/null
@@ -1,22 +0,0 @@
-/* -----------------------------------------------------------------------------
- *
- * (c) The GHC Team 1998-2005
- *
- * Interval timer for profiling and pre-emptive scheduling.
- *
- * ---------------------------------------------------------------------------*/
-
-#ifndef ITIMER_H
-#define ITIMER_H
-
-extern int startTicker( nat ms, TickProc handle_tick);
-extern int stopTicker ( void );
-
-extern lnat getourtimeofday   ( void );
-#if 0
-/* unused */
-extern void block_vtalrm_signal       ( void );
-extern void unblock_vtalrm_signal     ( void );
-#endif
-
-#endif /* ITIMER_H */