X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_profiles.ml;h=67f19879d8ff13058a3a188ee94f59eaf3af144e;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=c34ba3ed91ff434c435a28f029c9d3df6a492bbe;hpb=c6cb1f5a0ab5559e41eba001928e4a5ea595c051;p=helm.git

diff --git a/helm/uwobo/uwobo_profiles.ml b/helm/uwobo/uwobo_profiles.ml
index c34ba3ed9..67f19879d 100644
--- 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))