X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fregistry%2Fhelm_registry.ml;h=43037aac01c746102444e80f69dddb47db6b12bd;hb=a823c605d3a541c8d7df2bcc3c21bf459c9d25c4;hp=08b1bb76f893320db7ca6db238bfacb0c16634c2;hpb=45f2accd093c8d10eb692266f4c3c0c59cb22d8b;p=helm.git

diff --git a/matita/components/registry/helm_registry.ml b/matita/components/registry/helm_registry.ml
index 08b1bb76f..43037aac0 100644
--- a/matita/components/registry/helm_registry.ml
+++ b/matita/components/registry/helm_registry.ml
@@ -145,7 +145,7 @@ let set' ?(replace=false) registry ~key ~value =
 
 let unset registry = Hashtbl.remove registry
 
-let env_var_of_key s = String.uppercase (Str.global_replace dot_rex "_" s)
+let env_var_of_key s = String.uppercase_ascii (Str.global_replace dot_rex "_" s)
 
 let singleton = function
   | [] ->