From a0f2db7574a567c670a513f88db54808c0878a75 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Mon, 15 Aug 2011 08:25:46 -0500 Subject: [PATCH] Drops `traces' call to make the file DrDr-friendly --- collects/redex/examples/define-judgment-form/sos.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/redex/examples/define-judgment-form/sos.rkt b/collects/redex/examples/define-judgment-form/sos.rkt index a23b9262ec..cbd33c024d 100644 --- a/collects/redex/examples/define-judgment-form/sos.rkt +++ b/collects/redex/examples/define-judgment-form/sos.rkt @@ -134,4 +134,5 @@ (--> e_1 e_2 (judgment-holds (small-step e_1 e_2))))) -(traces small-step-rr (term ((λ (x) (add1 x)) 0))) \ No newline at end of file +(define (trace-λv expr) + (traces small-step-rr expr)) \ No newline at end of file