X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fxml%2Fxml.mli;h=4feca7503f9e91d7722afa419f4c212420ceaa18;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;hp=43547eaa03fdbc5a1aadeeea11bc5f29b9594ab4;hpb=7a2a40e0cc7d9ad114c5e2b60427062b34bb9d56;p=helm.git

diff --git a/helm/ocaml/xml/xml.mli b/helm/ocaml/xml/xml.mli
index 43547eaa0..4feca7503 100644
--- a/helm/ocaml/xml/xml.mli
+++ b/helm/ocaml/xml/xml.mli
@@ -71,3 +71,5 @@ val pp_to_string : token Stream.t -> string
 
 val add_xml_declaration: token Stream.t -> token Stream.t
 
+val strip_xml_headings: string -> string
+