/* -----------------------------------------------------------------------------
- * $Id: ProfRts.h,v 1.8 2000/02/17 17:19:42 simonmar Exp $
+ * $Id: ProfRts.h,v 1.10 2000/03/08 17:48:24 simonmar Exp $
*
- * (c) The GHC Team, 1998-1999
+ * (c) The GHC Team, 1998-2000
*
* Support for profiling
*
* ---------------------------------------------------------------------------*/
#if defined(PROFILING) || defined(DEBUG)
-void initProfiling ( void );
-void endProfiling ( void );
+void initProfiling1 ( void );
+void initProfiling2 ( void );
+void endProfiling ( void );
+
+extern FILE *prof_file;
#endif
#ifdef PROFILING