* it is now possible to set multiple parameters upon creation (or cloning)

[helm.git] / helm / uwobo / uwobo_profiles.ml

diff --git a/helm/uwobo/uwobo_profiles.ml b/helm/uwobo/uwobo_profiles.ml
index c34ba3ed91ff434c435a28f029c9d3df6a492bbe..67f19879d8ff13058a3a188ee94f59eaf3af144e 100644 (file)
--- a/helm/uwobo/uwobo_profiles.ml
+++ b/helm/uwobo/uwobo_profiles.ml
@@ -93,7 +93,7 @@ let to_list_rel ~prefix () =
 
 let check_permission pid password for_what =
   match password, Helm_registry.get_bool (permission_key for_what pid) with
-      None, true -> ()
+      _, true -> ()
     | Some pwd, false when Some pwd = Helm_registry.get_opt Helm_registry.get (password_key pid) -> ()
     | _ -> raise (Access_denied (string_of_permission for_what, pid))