X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;fp=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=f567c227bbb51e066f85542d86b9fd2a600f4597;hb=cb071f7475e2fe225de02a9855466c3487fd035f;hp=18e2a88ab43851a5be00efc900afbdcc4d7dbd4c;hpb=adaaeb037e74edb82c5b55cc67b41f2a4e6bbb87;p=helm.git

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