From c4bea88b0001110f5320140da98d6797be03345b Mon Sep 17 00:00:00 2001
From: Nick Barnes <nb@ravenbrook.com>
Date: Thu, 11 Apr 2002 15:54:20 +0100
Subject: [PATCH] Aargh.

Copied from Perforce
 Change: 28090
 ServerID: perforce.ravenbrook.com
---
 mps/src/awlut.c   | 2 +-
 mps/src/awluthe.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/mps/src/awlut.c b/mps/src/awlut.c
index 66dbdf1aad4..153913afc68 100644
--- a/mps/src/awlut.c
+++ b/mps/src/awlut.c
@@ -32,7 +32,7 @@ static void error(const char *format, ...)
   va_list args;
 
   fflush(stdout); /* sync */
-  fprintf(stderr, "%s: @%lu ", prog, (unsigned long) eventTime);
+  fprintf(stderr, "%s: ", prog);
   va_start(args, format);
   vfprintf(stderr, format, args);
   fprintf(stderr, "\n");
diff --git a/mps/src/awluthe.c b/mps/src/awluthe.c
index b63691f804d..dde6d259f6d 100644
--- a/mps/src/awluthe.c
+++ b/mps/src/awluthe.c
@@ -33,7 +33,7 @@ static void error(const char *format, ...)
   va_list args;
 
   fflush(stdout); /* sync */
-  fprintf(stderr, "%s: @%lu ", prog, (unsigned long) eventTime);
+  fprintf(stderr, "%s:  ", prog);
   va_start(args, format);
   vfprintf(stderr, format, args);
   fprintf(stderr, "\n");