/* -----------------------------------------------------------------------------
- * $Id: Profiling.h,v 1.1 2000/04/03 15:54:49 simonmar Exp $
+
+ * $Id: Profiling.h,v 1.3 2001/11/22 14:25:12 simonmar Exp $
*
* (c) The GHC Team, 1998-2000
*
void endProfiling ( void );
extern FILE *prof_file;
+extern FILE *hp_file;
#endif
#ifdef PROFILING
extern rtsBool time_profiling;
+extern lnat total_prof_ticks;
+
+extern void fprintCCS( FILE *f, CostCentreStack *ccs );
+
+
#endif