Drops `traces' call to make the file DrDr-friendly

2011-08-15 08:25:46 -05:00 · 2011-08-15 08:25:46 -05:00 · a0f2db7574
commit a0f2db7574
parent 98eaaebc65
1 changed files with 2 additions and 1 deletions
--- 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)))
+(define (trace-λv expr)
+  (traces small-step-rr expr))