From dd23888286e7d5b1748bbf9e97ac1fbcaf86f779 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 16 Dec 2003 17:55:44 +0000 Subject: [PATCH] cosmetic changes --- helm/http_getter/http_getter_misc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml index a2685ca9a..10d0530c3 100644 --- a/helm/http_getter/http_getter_misc.ml +++ b/helm/http_getter/http_getter_misc.ml @@ -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 -> -- 2.39.2