]> matita.cs.unibo.it Git - helm.git/commitdiff
cosmetic changes
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:55:44 +0000 (17:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:55:44 +0000 (17:55 +0000)
helm/http_getter/http_getter_misc.ml

index a2685ca9ae09369e193d2909129ff2999295e807..10d0530c35ea33cb33b8a20ccb463efc1fab13fa 100644 (file)
@@ -225,7 +225,7 @@ let http_get url =
       close_in ic;
       Some buf
     with Unix.Unix_error (Unix.ENOENT, "stat", _) -> None
-  end else  (* other URL, pass it to netclient *)
+  end else  (* other URL, pass it to Http_client *)
     try
       Some (Http_client.http_get url)
     with e ->