[project @ 2000-04-03 15:54:49 by simonmar]
[ghc-hetmet.git] / ghc / rts / ProfRts.h
diff --git a/ghc/rts/ProfRts.h b/ghc/rts/ProfRts.h
deleted file mode 100644 (file)
index 1af4ca1..0000000
+++ /dev/null
@@ -1,32 +0,0 @@
-/* -----------------------------------------------------------------------------
- * $Id: ProfRts.h,v 1.10 2000/03/08 17:48:24 simonmar Exp $
- *
- * (c) The GHC Team, 1998-2000
- *
- * Support for profiling
- *
- * ---------------------------------------------------------------------------*/
-
-#if defined(PROFILING) || defined(DEBUG)
-void initProfiling1 ( void );
-void initProfiling2 ( void );
-void endProfiling   ( void );
-
-extern FILE *prof_file;
-#endif
-
-#ifdef PROFILING
-
-void gen_XML_logfile     ( void );
-void report_ccs_profiling ( void );
-void heap_profile_finish (void);
-
-void PrintNewStackDecls ( void );
-
-void print_ccs (FILE *, CostCentreStack *);
-
-# define DEFAULT_INTERVAL TICK_FREQUENCY
-
-extern rtsBool time_profiling;
-
-#endif