/* -----------------------------------------------------------------------------
*
- * (c) The GHC Team, 1998-2004
+ * (c) The GHC Team, 1998-2005
*
* Support for profiling
*
* ---------------------------------------------------------------------------*/
+#ifndef PROFILING_H
+#define PROFILING_H
+
#include <stdio.h>
#if defined(PROFILING) || defined(DEBUG)
void PrintNewStackDecls ( void );
-extern lnat RTS_VAR(total_prof_ticks);
-
extern void fprintCCS( FILE *f, CostCentreStack *ccs );
extern void fprintCCS_stderr( CostCentreStack *ccs );
#endif
#endif
+
+#endif /* PROFILING_H */