From f7672c6186602721232555cfba12ef519d3de870 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 13 Apr 2015 09:41:32 -0500 Subject: [PATCH] fix classes so we can see the constructor in the blueboxes now --- scribble-lib/scribble/blueboxes.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribble-lib/scribble/blueboxes.rkt b/scribble-lib/scribble/blueboxes.rkt index 742dd00b..2d13c17b 100644 --- a/scribble-lib/scribble/blueboxes.rkt +++ b/scribble-lib/scribble/blueboxes.rkt @@ -24,7 +24,7 @@ (pair? tag) (eq? (car tag) 'def)) (define constructor-strs - (fetch-strs-for-single-tag (cons 'construtor (cdr tag)) cache)) + (fetch-strs-for-single-tag (cons 'constructor (cdr tag)) cache)) (if constructor-strs (append plain-strs '("")