X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=18e2a88ab43851a5be00efc900afbdcc4d7dbd4c;hb=03166ee15ae4ee854360ba49732015231edb8bb6;hp=70c8fce63825b8036dd336c89f55ba9d9740ade3;hpb=9a072f192471daeca8cb409e991f0073b1d4271f;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index 70c8fce63..18e2a88ab 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -156,5 +156,6 @@ class type request =
     method uri: string
     method path: string
     method param: string -> string
+    method param_all: string -> string list
     method params: (string * string) list
   end