]> matita.cs.unibo.it Git - helm.git/commitdiff
minor indentation change
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 16:44:50 +0000 (16:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 16:44:50 +0000 (16:44 +0000)
helm/DEVEL/ocaml-http/http_request.mli

index 6704b6301b80b27eac5abaf51b8a994ab2332989..2b603c787a09fe60d8763d6e937ba14103bfd33e 100644 (file)
@@ -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