From 7dad6ad9295538b7d72d75b5f6ded34708622ea1 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 26 Apr 2000 09:28:18 +0000
Subject: [PATCH] [project @ 2000-04-26 09:28:18 by simonmar] note that a
 return status of Killed means "uncaught exception".

---
 ghc/rts/Main.c |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/rts/Main.c b/ghc/rts/Main.c
index 564e74f..0409e7e 100644
--- a/ghc/rts/Main.c
+++ b/ghc/rts/Main.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Main.c,v 1.23 2000/04/11 16:49:20 sewardj Exp $
+ * $Id: Main.c,v 1.24 2000/04/26 09:28:18 simonmar Exp $
  *
  * (c) The GHC Team 1998-2000
  *
@@ -112,7 +112,7 @@ int main(int argc, char *argv[])
       exit_status = EXIT_DEADLOCK;
       break;
     case Killed:
-      prog_belch("main thread killed");
+      prog_belch("main thread exited (uncaught exception)");
       exit_status = EXIT_KILLED;
       break;
     case Interrupted:
-- 
1.7.10.4