Reorganisation of the source tree

[ghc-hetmet.git] / ghc / rts / Proftimer.h

diff --git a/ghc/rts/Proftimer.h b/ghc/rts/Proftimer.h
deleted file mode 100644 (file)
index c837b85..0000000
--- a/ghc/rts/Proftimer.h
+++ /dev/null
@@ -1,22 +0,0 @@
-/* -----------------------------------------------------------------------------
- *
- * (c) The GHC Team, 1998-2005
- *
- * Profiling interval timer
- *
- * ---------------------------------------------------------------------------*/
-
-#ifndef PROFTIMER_H
-#define PROFTIMER_H
-
-extern void initProfTimer      ( void );
-extern void handleProfTick     ( void );
-
-extern void stopProfTimer      ( void );
-extern void startProfTimer     ( void );
-extern void stopHeapProfTimer  ( void );
-extern void startHeapProfTimer ( void );
-
-extern rtsBool performHeapProfile;
-
-#endif /* PROFTIMER_H */