X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter.mli;h=a7d12f5a1611e8867d280d5df34bfd9a819665f1;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=8d1ae4b5c05e57e5a598661efce2ffe2a799b2fc;hpb=3af56c5a48f7cad33fd701e0061fe143e0e2a7c5;p=helm.git

diff --git a/helm/ocaml/getter/http_getter.mli b/helm/ocaml/getter/http_getter.mli
index 8d1ae4b5c..a7d12f5a1 100644
--- a/helm/ocaml/getter/http_getter.mli
+++ b/helm/ocaml/getter/http_getter.mli
@@ -28,8 +28,12 @@
 
 open Http_getter_types
 
+  (** {2 Loggers} *)
+
 type logger_callback = HelmLogger.html_tag -> unit
 
+val stdout_logger: logger_callback
+
   (** {2 Getter Web Service interface as API *)
 
 val help: unit -> string