From 32c6abb01ea953ab2c4a3dc8c1b7887c99f11c64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 17 Jun 2016 19:59:40 +0200
Subject: [PATCH] Fixes scribble bug #25

---
 typed/private/lp.rkt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/typed/private/lp.rkt b/typed/private/lp.rkt
index 2691588e..3d5318b0 100644
--- a/typed/private/lp.rkt
+++ b/typed/private/lp.rkt
@@ -68,9 +68,9 @@
              (make-splice
               (list (make-toc-element
                      #f
-                     (list (elemtag '(chunk tag)
+                     (list (elemtag '(chunk (prefixable tag))
                                     (bold (italic (racket name)) " ::=")))
-                     (list (smaller (elemref '(chunk tag) #:underline? #f
+                     (list (smaller (elemref '(chunk (prefixable tag)) #:underline? #f
                                              str
                                              rest ...))))
                     (#,racketblock expr ...))))))]))
@@ -84,7 +84,7 @@
      (identifier? #'id)
      (with-syntax ([tag (format "~a:1" (syntax-e #'id))]
                    [str (format "~a" (syntax-e #'id))])
-       #'(elemref '(chunk tag) #:underline? #f str))]))
+       #'(elemref '(chunk (prefixable tag)) #:underline? #f str))]))
 
 
 (provide (all-from-out scheme/base