X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=5c88b212ed010990015a936355824685f6d737d8;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=bc2efb4131a5d6b8a0aecfe08ddccc5fed73468f;hpb=2026624f827b29c35d54aa67b301250123ea7311;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index bc2efb413..5c88b212e 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -157,7 +157,7 @@ class type request = object
     method meth: meth
     method uri: string
     method path: string
-    method param: ?meth:meth -> string -> string
+    method param: ?meth:meth -> ?default:string -> string -> string
     method paramAll: ?meth:meth -> string -> string list
     method params: (string * string) list
     method params_GET: (string * string) list