uncomment prototype for msTime.
/* -----------------------------------------------------------------------------
- * $Id: RtsUtils.h,v 1.8 2000/03/16 17:23:35 simonmar Exp $
+ * $Id: RtsUtils.h,v 1.9 2000/04/14 14:07:18 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
char *time_str(void);
char *ullong_format_string(ullong, char *, rtsBool);
-//ullong msTime(void);
+
+ullong msTime(void);