diff --git a/typed-racket-more/typed/xml.rkt b/typed-racket-more/typed/xml.rkt index 79786644a..1747af4b2 100644 --- a/typed-racket-more/typed/xml.rkt +++ b/typed-racket-more/typed/xml.rkt @@ -13,7 +13,7 @@ (U Comment P-I)) (define-type XExpr - (U XML-Misc Cdata Positive-Index + (U XML-Misc Cdata Pcdata Positive-Index Number String Symbol (Pair Symbol (Pair (Listof XExpr-Attribute) (Listof XExpr))) (Pair Symbol (Listof XExpr))))