X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_common.mli;h=236644452d8f8fdd66d756c8dfd16978bc17613e;hb=1837d5fb86a877ae775d229957accb74b23bde66;hp=09d45f1824d832404e0440200ad688a94137098c;hpb=fbba267d392714a70c1eaa74fa6b2116ce1caadf;p=helm.git

diff --git a/helm/http_getter/http_getter_common.mli b/helm/http_getter/http_getter_common.mli
index 09d45f182..236644452 100644
--- a/helm/http_getter/http_getter_common.mli
+++ b/helm/http_getter/http_getter_common.mli
@@ -36,9 +36,6 @@ 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