From bfe762e27648b901fd40b8fc415fcd03d8b912b2 Mon Sep 17 00:00:00 2001
From: "Guillermo J. Rozas" <edu/mit/csail/zurich/gjr>
Date: Mon, 12 Jun 1989 17:36:22 +0000
Subject: [PATCH] Change the normal termination message.

---
 v7/src/microcode/boot.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/v7/src/microcode/boot.c b/v7/src/microcode/boot.c
index 4af0f3940..6667e4438 100644
--- 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());
-- 
2.25.1