/* -----------------------------------------------------------------------------
- * $Id: Profiling.c,v 1.34 2002/11/01 11:17:29 simonmar Exp $
+ * $Id: Profiling.c,v 1.36 2003/02/22 04:51:52 sof Exp $
*
* (c) The GHC Team, 1998-2000
*
#include "Profiling.h"
#include "Storage.h"
#include "Proftimer.h"
-#include "Itimer.h"
+#include "Timer.h"
#include "ProfHeap.h"
#include "Arena.h"
#include "RetainerProfile.h"
gen_XML_logfile();
return;
default:
+ break;
}
fprintf(prof_file, "\t%s Time and Allocation Profiling Report (%s)\n",