From 733ca1073b3d6d19a76e2ffc6099500da20fab4a Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Fri, 4 Jun 1993 00:15:34 +0000
Subject: [PATCH] When stack is erased by WITHIN-CONTROL-POINT, the history
 information stored in Prev_Restore_History_* must be reset.

---
 v7/src/microcode/hooks.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/v7/src/microcode/hooks.c b/v7/src/microcode/hooks.c
index e8d4af37c..400706a1a 100644
--- a/v7/src/microcode/hooks.c
+++ b/v7/src/microcode/hooks.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: hooks.c,v 9.50 1993/03/31 03:27:07 ziggy Exp $
+$Id: hooks.c,v 9.51 1993/06/04 00:15:34 cph Exp $
 
 Copyright (c) 1988-1993 Massachusetts Institute of Technology
 
@@ -386,6 +386,9 @@ DEFINE_PRIMITIVE ("WITHIN-CONTROL-POINT", Prim_within_control_point, 2, 2,
 
   /* This KNOWS the direction of stack growth. */
   Stack_Pointer = (Get_End_Of_Stacklet ());
+  /* We've discarded the history with the stack contents.  */
+  Prev_Restore_History_Stacklet = NULL;
+  Prev_Restore_History_Offset = 0;
   CLEAR_INTERRUPT (INT_Stack_Overflow);
 
  Will_Push (CONTINUATION_SIZE);
-- 
2.25.1