]> matita.cs.unibo.it Git - helm.git/commitdiff
s/param_all/paramAll/g
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Nov 2002 15:38:39 +0000 (15:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Nov 2002 15:38:39 +0000 (15:38 +0000)
helm/DEVEL/ocaml-http/http_types.ml

index 18e2a88ab43851a5be00efc900afbdcc4d7dbd4c..f567c227bbb51e066f85542d86b9fd2a600f4597 100644 (file)
@@ -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