Change the normal termination message.

diff --git a/v7/src/microcode/boot.c b/v7/src/microcode/boot.c
index 4af0f3940ee7989f42be972f53c56f7c0f306880..6667e4438b8fae9c8106d407b7c131b36e27805d 100644 (file)
--- a/v7/src/microcode/boot.c
+++ b/v7/src/microcode/boot.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/boot.c,v 9.55 1989/06/02 21:43:13 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/boot.c,v 9.56 1989/06/12 17:36:22 jinx Rel $
 
 Copyright (c) 1988 Massachusetts Institute of Technology
 
@@ -599,7 +599,8 @@ Microcode_Termination(code)
     else
       printf("%s", Term_Messages [code]);
 
-    if (WITHIN_CRITICAL_SECTION_P())
+    if ((WITHIN_CRITICAL_SECTION_P()) &&
+       (code != TERM_HALT))
     {
       printf(" within critical section \"%s\"",
             CRITICAL_SECTION_NAME());