]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo.ml
fixed parse error for ocaml 3.08
[helm.git] / helm / uwobo / uwobo.ml
index 345ccda59c53ccb2f769a34a50a283d6852ea2c2..4154dfb3d3fdd9851f67a8ea7062915dc88ba1c8 100644 (file)
@@ -442,7 +442,7 @@ let callback
        let res = Uwobo_profiles.get_params pid ?password () in
        respond_html
         ("<html><body><ul>" ^
-         String.concat "" (List.map (fun k,v -> "<li><key>" ^ k ^ "</key> = <value>" ^ v  ^ "</value></li>") res) ^
+         String.concat "" (List.map (fun (k,v) -> "<li><key>" ^ k ^ "</key> = <value>" ^ v  ^ "</value></li>") res) ^
          "</ul></body></html>") outchan
     | "/setparams" ->
        let serialized_param_value_list = serialize_param_list req#params in