From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 6 Dec 2002 16:44:50 +0000 (+0000)
Subject: minor indentation change
X-Git-Tag: v0_3_99~171
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=977fa6473e0cd74c36a1818ceeecf22b0847f7a1;p=helm.git

minor indentation change
---

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