X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_misc.mli;h=0551161b9ebe6038e79b222f12380c7b08187603;hb=7ddef45b3b2c42dd02bf86a1d426e3216f9ef882;hp=c6e2e72c6e18c873fc48fd3dfb5b82ac7fb56ad4;hpb=96204969d2611dc618f7ed72ae40612b9526c763;p=helm.git

diff --git a/helm/http_getter/http_getter_misc.mli b/helm/http_getter/http_getter_misc.mli
index c6e2e72c6..0551161b9 100644
--- a/helm/http_getter/http_getter_misc.mli
+++ b/helm/http_getter/http_getter_misc.mli
@@ -80,3 +80,6 @@ val add_line: fname:string -> ?position:int -> string -> unit
   first line of file is line 0) *)
 val remove_line: fname:string -> int -> unit
 
+  (** true on blanks-only and #-commented lines, false otherwise *)
+val is_blank_line: string -> bool
+