From 7572b24870fd53934b3c87e21d69d3e20d125d92 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 8 Oct 2010 13:41:44 +0200 Subject: [PATCH] Unbreak stepper. (It was broken by fed1e3dc3e2d7268c0297a0ce699d3deb2ba75c5.) --- collects/lang/run-teaching-program.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/lang/run-teaching-program.rkt b/collects/lang/run-teaching-program.rkt index 22b8e446ab..cad2a8845a 100644 --- a/collects/lang/run-teaching-program.rkt +++ b/collects/lang/run-teaching-program.rkt @@ -64,7 +64,9 @@ ;; this definition pulls the test~object binding from the user's namespace ;; over to the one that is used in the REPL when module->namepsace ;; grabs a hold of this module to make a namespace for the REPL - `(,#'(define test~object (namespace-variable-value 'test~object)) + `(,(syntax-property + #'(define test~object (namespace-variable-value 'test~object)) + 'test-call #t) (,#'test))) '())))) rep)))]