From: Stefano Zacchiroli Date: Tue, 26 Nov 2002 15:38:39 +0000 (+0000) Subject: s/param_all/paramAll/g X-Git-Tag: V_0_0_6~53 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cb071f7475e2fe225de02a9855466c3487fd035f;p=helm.git s/param_all/paramAll/g --- diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml index 18e2a88ab..f567c227b 100644 --- a/helm/DEVEL/ocaml-http/http_types.ml +++ b/helm/DEVEL/ocaml-http/http_types.ml @@ -156,6 +156,6 @@ class type request = method uri: string method path: string method param: string -> string - method param_all: string -> string list + method paramAll: string -> string list method params: (string * string) list end