From 23fad5e470aaff451a07ff6c4f24b43a3ae92b96 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 24 Dec 2006 02:14:19 +0000 Subject: [PATCH] fix prompt for MrEd load handler svn: r5177 original commit: 91d68735fa7a02356c08d1181bca941213f95bca --- collects/mred/private/snipfile.ss | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/snipfile.ss b/collects/mred/private/snipfile.ss index ca13f084..ed990c49 100644 --- a/collects/mred/private/snipfile.ss +++ b/collects/mred/private/snipfile.ss @@ -213,7 +213,13 @@ (datum->syntax-object #f (cons '#%top-interaction exp) - exp))))) + exp))) + (default-continuation-prompt-tag) + (lambda args + (apply + abort-current-continuation + (default-continuation-prompt-tag) + args)))) (lambda x (loop x))))))))) (lambda () (close-input-port in-port)))))