Merge branch 'master' of github.com:joergen7/typed-racket

Author: joergen7

typed-racket-more/typed/xml.rkt

@@ -14,7 +14,7 @@
 
 (define-type XExpr
   (U XML-Misc Cdata Pcdata Positive-Index
-     Number String Symbol
+     String Symbol
      (Pair Symbol (Pair (Listof XExpr-Attribute) (Listof XExpr)))
      (Pair Symbol (Listof XExpr))))