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)))))