updated macro stepper for change in Module language
svn: r9940 original commit: 268e1c858eb4c8f30e41cfc9f076ceb89ff871d6
This commit is contained in:
parent
063619c7e2
commit
254f98d602
|
@ -403,7 +403,8 @@
|
||||||
|
|
||||||
;; adjust-deriv/top : Derivation -> Derivation
|
;; adjust-deriv/top : Derivation -> Derivation
|
||||||
(define/private (adjust-deriv/top deriv)
|
(define/private (adjust-deriv/top deriv)
|
||||||
(if (syntax-source (wderiv-e1 deriv))
|
(if (or (syntax-source (wderiv-e1 deriv))
|
||||||
|
(p:module? deriv))
|
||||||
deriv
|
deriv
|
||||||
;; It's not original...
|
;; It's not original...
|
||||||
;; Strip out mzscheme's top-interactions
|
;; Strip out mzscheme's top-interactions
|
||||||
|
|
Loading…
Reference in New Issue
Block a user