fix "one term at a time" mode for lifts

closes PR 13597
This commit is contained in:
Ryan Culpepper 2013-03-12 13:51:40 -04:00
parent ab9207dbc7
commit 8f8b16e2ec

View File

@ -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])))