Macro stepper: fixed bug in error steps (foci)

svn: r5466
This commit is contained in:
Ryan Culpepper 2007-01-26 18:23:57 +00:00
parent 10558df5dd
commit 8c8e0d36e7

View File

@ -195,7 +195,7 @@
;; stumble/E : syntax(s) syntax exn -> Reduction
(define (stumble/E focus Ee1 exn)
(make-misstep (current-derivation) (big-context) 'error (context)
focus Ee1 exn))
(foci focus) Ee1 exn))
;; ------------------------------------