/* -----------------------------------------------------------------------------
- * $Id: RtsUtils.h,v 1.6 2000/01/12 15:15:17 simonmar Exp $
+ * $Id: RtsUtils.h,v 1.7 2000/01/13 14:34:04 hwloidl Exp $
*
* (c) The GHC Team, 1998-1999
*
/*Defined in Main.c, but made visible here*/
extern void stg_exit(I_ n) __attribute__((noreturn));
-char * time_str(void);
-
+char *time_str(void);
char *ullong_format_string(ullong, char *, rtsBool);
+//ullong msTime(void);
+