scibble: repair related to recent `scribble/tag' contracts

This commit is contained in:
Matthew Flatt 2012-12-27 12:32:54 -06:00
parent 353da62843
commit 3f6b30a569

View File

@ -31,7 +31,7 @@
(define (taglet? v)
(and (not (generated-tag? v))
(tag? (list 'something v))))
(tag? (list 'something (list v)))))
(define interned (make-weak-hash))