402 |
| "<!" |
| "<!" |
403 |
{ |
{ |
404 |
ignore_spaces lexbuf; |
ignore_spaces lexbuf; |
405 |
Printf.printf "?????"; print_newline (); |
(* Printf.printf "?????"; print_newline (); *) |
406 |
let t = dtd_item_type lexbuf in |
let t = dtd_item_type lexbuf in |
407 |
let name = (try ident_name lexbuf with Error EIdentExpected -> raise (DTDError EInvalidDTDDecl)) in |
let name = (try ident_name lexbuf with Error EIdentExpected -> raise (DTDError EInvalidDTDDecl)) in |
408 |
ignore_spaces lexbuf; |
ignore_spaces lexbuf; |
606 |
} |
} |
607 |
| _ | eof |
| _ | eof |
608 |
{ dtd_error lexbuf EInvalidDTDAttribute } |
{ dtd_error lexbuf EInvalidDTDAttribute } |
|
|
|
609 |
|
|