λδ site update

[helm.git] / helm / software / helena / src / toplevel / helena.ml

diff --git a/helm/software/helena/src/toplevel/helena.ml b/helm/software/helena/src/toplevel/helena.ml
index 63a8c062116a2581c2cbf72402e172ab89be66c2..10c9f0f7f148d09c62f00fefc0cc1123f4b1454f 100644 (file)
--- a/helm/software/helena/src/toplevel/helena.ml
+++ b/helm/software/helena/src/toplevel/helena.ml
@@ -386,7 +386,7 @@ END
 
 IFDEF MANAGER THEN
 
-let set_manager s = match KS.lowercase s with
+let set_manager s = match KS.lowercase_ascii s with
    | "v8"  -> G.manager := G.Coq
    | "ma2" -> G.manager := G.Matita
    | "lp1" -> G.manager := G.LP1