aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/xml_parser.mli
diff options
context:
space:
mode:
authorGravatar Guillaume Melquiond <guillaume.melquiond@inria.fr>2015-10-14 10:39:55 +0200
committerGravatar Guillaume Melquiond <guillaume.melquiond@inria.fr>2015-10-14 10:39:55 +0200
commitf617aeef08441e83b13f839ce767b840fddbcf7d (patch)
tree9a0c914031262f5491745d9773d7c2a0e5bdaa41 /lib/xml_parser.mli
parented95f122f3c68becc09c653471dc2982b346d343 (diff)
Fix some typos.
Diffstat (limited to 'lib/xml_parser.mli')
-rw-r--r--lib/xml_parser.mli6
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