Reorganisation of the source tree

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

diff --git a/ghc/rts/Profiling.h b/ghc/rts/Profiling.h
deleted file mode 100644 (file)
index d968349..0000000
--- a/ghc/rts/Profiling.h
+++ /dev/null
@@ -1,39 +0,0 @@
-/* -----------------------------------------------------------------------------
- *
- * (c) The GHC Team, 1998-2005
- *
- * Support for profiling
- *
- * ---------------------------------------------------------------------------*/
-
-#ifndef PROFILING_H
-#define PROFILING_H
-
-#include <stdio.h>
-
-#if defined(PROFILING) || defined(DEBUG)
-void initProfiling1 ( void );
-void initProfiling2 ( void );
-void endProfiling   ( void );
-
-extern FILE *prof_file;
-extern FILE *hp_file;
-#endif
-
-#ifdef PROFILING
-
-void gen_XML_logfile     ( void );
-void reportCCSProfiling ( void );
-
-void PrintNewStackDecls ( void );
-
-extern void fprintCCS( FILE *f, CostCentreStack *ccs );
-extern void fprintCCS_stderr( CostCentreStack *ccs );
-
-#ifdef DEBUG
-extern void debugCCS( CostCentreStack *ccs );
-#endif
-
-#endif
-
-#endif /* PROFILING_H */