correct the specification of the blueboxes.rktd file

closes racket/drracket#118
2017-08-27 18:16:02 -05:00 · 2017-08-27 18:16:02 -05:00 · d3b0f98e0e
commit d3b0f98e0e
parent 9f5fe0859d
1 changed files with 2 additions and 4 deletions
--- a/scribble-lib/scribble/valid-blueboxes-info.rkt
+++ b/scribble-lib/scribble/valid-blueboxes-info.rkt
@ -7,8 +7,6 @@
 (define valid-blueboxes-info?
  (hash/c
   tag?
-   (listof (cons/dc [hd exact-nonnegative-integer?]
-                    [tl (hd) (and/c exact-nonnegative-integer?
-                                    (>/c hd))]
-                    #:flat))
+   (listof (cons/c exact-nonnegative-integer?
+                   exact-nonnegative-integer?))
   #:flat? #t))