add (hopefully correct) missing case to the contract/bluebox renderer

closes #34
2016-03-17 09:07:58 -05:00 · 2016-03-17 09:07:58 -05:00 · 79e74d3b59
commit 79e74d3b59
parent 468744bdf5
1 changed files with 3 additions and 1 deletions
--- a/scribble-lib/scribble/contract-render.rkt
+++ b/scribble-lib/scribble/contract-render.rkt
@ -76,7 +76,9 @@
    [(table style cells)
     (check-and-continue style block mode index-table r-blockss+cont cells)]
    [(delayed-block resolve) 
-     (r-block (delayed-block-blocks block (the-ri)) mode index-table)]))
+     (r-block (delayed-block-blocks block (the-ri)) mode index-table)]
+    [(traverse-block _)
+     (r-block (traverse-block-block block (the-ri)) mode index-table)]))

 (define (check-and-continue style block mode index-table sub-f sub-p)
  (cond