From: Enrico Tassi Date: Mon, 13 Jun 2005 09:27:36 +0000 (+0000) Subject: fixed error in comment X-Git-Tag: PRE_STORAGE~59 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e65c94eaa25d283c74abbaa958f32c590e2c6425;p=helm.git fixed error in comment --- diff --git a/helm/ocaml/xml/xmlPushParser.mli b/helm/ocaml/xml/xmlPushParser.mli index cbad83c72..c13481c91 100644 --- a/helm/ocaml/xml/xmlPushParser.mli +++ b/helm/ocaml/xml/xmlPushParser.mli @@ -67,7 +67,7 @@ val create_parser: callbacks -> xml_parser * @raise Parse_error *) val parse: xml_parser -> xml_source -> unit - (** Inform the farser that parsing is completed, needed only when source is + (** Inform the parser that parsing is completed, needed only when source is * `String, for other sources it is automatically invoked when the end of file * is reached * @raise Parse_error *)