From 3fe785014a6de4fa178cb8cddaf2eebd7ddf004a Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Thu, 25 Jan 2007 19:16:14 +0000 Subject: [PATCH] Macro stepper: minor bug fix svn: r5460 --- collects/macro-debugger/model/deriv-util.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/macro-debugger/model/deriv-util.ss b/collects/macro-debugger/model/deriv-util.ss index 242a794e03..3f64c6bfe6 100644 --- a/collects/macro-debugger/model/deriv-util.ss +++ b/collects/macro-debugger/model/deriv-util.ss @@ -1,6 +1,7 @@ (module deriv-util mzscheme (require "deriv.ss" + (lib "list.ss") (lib "plt-match.ss")) (provide IntW ErrW @@ -197,7 +198,8 @@ [(AnyQ p:rename (_ _ _ _ inner)) (loop inner)] [(AnyQ p:synth (_ _ _ subterms)) - (loops (map s:subterm-deriv subterms))] + (loops (map s:subterm-deriv + (filter s:subterm? subterms)))] [(AnyQ lderiv (_ _ derivs)) (loops derivs)]