fix "one term at a time" mode for lifts

closes PR 13597 original commit: 8f8b16e2ec4417f188660f196f996dc1bd4057a2
2013-03-12 13:51:40 -04:00 · 2013-03-12 13:51:40 -04:00 · 73d6946b11
commit 73d6946b11
parent 78f457b23e
1 changed files with 2 additions and 0 deletions
--- a/collects/macro-debugger/view/term-record.rkt
+++ b/collects/macro-debugger/view/term-record.rkt
@ -191,6 +191,8 @@
          [(cons (struct misstep (type s1 exn)) rs)
           (list* (make misstep type s1 exn)
                  (loop rs))]
+          [(cons (and r (remarkstep type s1 contents)) rs)
+           (list* r (loop rs))]
          ['()
           null])))