X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_request.mli;h=2b603c787a09fe60d8763d6e937ba14103bfd33e;hb=977fa6473e0cd74c36a1818ceeecf22b0847f7a1;hp=6704b6301b80b27eac5abaf51b8a994ab2332989;hpb=d1569b80cc7b9fd2ca7551f2eb74e2dc10b02443;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_request.mli b/helm/DEVEL/ocaml-http/http_request.mli
index 6704b6301..2b603c787 100644
--- a/helm/DEVEL/ocaml-http/http_request.mli
+++ b/helm/DEVEL/ocaml-http/http_request.mli
@@ -21,5 +21,6 @@
 
   (** fooish class to enclose callback's arguments *)
 class request:
-  path: string -> params: (string * string) list -> Http_types.request
+  path: string -> params: (string * string) list ->
+    Http_types.request