X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fhttp_getter%2Fhttp_getter_common.mli;h=711a5713d9f6fa3d195e810e5c2c18d16d758dde;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=05f495f2f6efeb107355ae43ef847b36d8b75913;hpb=a933ca25f485ac27e662444c250b8773c73b2755;p=helm.git

diff --git a/helm/http_getter/http_getter_common.mli b/helm/http_getter/http_getter_common.mli
index 05f495f2f..711a5713d 100644
--- a/helm/http_getter/http_getter_common.mli
+++ b/helm/http_getter/http_getter_common.mli
@@ -36,6 +36,9 @@ val is_nuprl_uri: string -> bool
 val is_rdf_uri: string -> bool
 val is_xsl_uri: string -> bool
 
+  (** true on blanks-only and #-commented lines, false otherwise *)
+val is_blank_line: string -> bool
+
 val http_getter_uri_of_string: string -> http_getter_uri
 
 val patch_xml : string -> string