On-going porting to lablgtk3

[helm.git] / matita / components / registry / helm_registry.ml

diff --git a/matita/components/registry/helm_registry.ml b/matita/components/registry/helm_registry.ml
index 08b1bb76f893320db7ca6db238bfacb0c16634c2..43037aac01c746102444e80f69dddb47db6b12bd 100644 (file)
--- 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
   | [] ->