diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-10-14 10:39:55 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-10-14 10:39:55 +0200 |
commit | f617aeef08441e83b13f839ce767b840fddbcf7d (patch) | |
tree | 9a0c914031262f5491745d9773d7c2a0e5bdaa41 /lib/xml_parser.mli | |
parent | ed95f122f3c68becc09c653471dc2982b346d343 (diff) |
Fix some typos.
Diffstat (limited to 'lib/xml_parser.mli')
-rw-r--r-- | lib/xml_parser.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/xml_parser.mli b/lib/xml_parser.mli index 87ef78777..ac2eab352 100644 --- a/lib/xml_parser.mli +++ b/lib/xml_parser.mli @@ -37,9 +37,9 @@ type t (** Several exceptions can be raised when parsing an Xml document : {ul {li {!Xml.Error} is raised when an xml parsing error occurs. the {!Xml.error_msg} tells you which error occurred during parsing - and the {!Xml.error_pos} can be used to retreive the document + and the {!Xml.error_pos} can be used to retrieve the document location where the error occurred at.} - {li {!Xml.File_not_found} is raised when and error occurred while + {li {!Xml.File_not_found} is raised when an error occurred while opening a file with the {!Xml.parse_file} function.} } *) @@ -98,7 +98,7 @@ val make : source -> t in the original Xmllight)}. *) val check_eof : t -> bool -> unit -(** Once the parser is configurated, you can run the parser on a any kind +(** Once the parser is configured, you can run the parser on a any kind of xml document source to parse its contents into an Xml data structure. When [do_not_canonicalize] is set, the XML document is given as |