Macro stepper: fixed bug in error steps (foci)

svn: r5466

original commit: 8c8e0d36e7e2980b13de6b2739f4791c89a6f79f
This commit is contained in:
Ryan Culpepper 2007-01-26 18:23:57 +00:00
parent 56e01595c4
commit 93cc4c0ea7

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