From d3b0f98e0e5ab8d2f35105b8552f52bf3c44c8b1 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 27 Aug 2017 18:16:02 -0500 Subject: [PATCH] correct the specification of the blueboxes.rktd file closes racket/drracket#118 --- scribble-lib/scribble/valid-blueboxes-info.rkt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/scribble-lib/scribble/valid-blueboxes-info.rkt b/scribble-lib/scribble/valid-blueboxes-info.rkt index 7b657e0d..d26f657a 100644 --- 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))