diff --git a/collects/macro-debugger/model/reductions.ss b/collects/macro-debugger/model/reductions.ss index 8062e26150..82affc7c40 100644 --- a/collects/macro-debugger/model/reductions.ss +++ b/collects/macro-debugger/model/reductions.ss @@ -60,7 +60,8 @@ ;; Primitives [(Wrap p:variable (e1 e2 rs ?1)) (R [#:learn (list e2)] - [#:when (not (bound-identifier=? e1 e2)) + [#:when (or (not (identifier? e1)) + (not (bound-identifier=? e1 e2))) [#:walk e2 'resolve-variable]])] [(Wrap p:module (e1 e2 rs ?1 ?2 tag rename check tag2 ?3 body shift)) (R [#:hide-check rs]