X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Ftoplevel%2Fhelena.ml;h=10c9f0f7f148d09c62f00fefc0cc1123f4b1454f;hp=63a8c062116a2581c2cbf72402e172ab89be66c2;hb=9bdda2beaa7b0f836e3700a2e2458761e8eee06d;hpb=c41d664b002c148fe5f856aeb8cbe13b154cc20d

diff --git a/helm/software/helena/src/toplevel/helena.ml b/helm/software/helena/src/toplevel/helena.ml
index 63a8c0621..10c9f0f7f 100644
--- 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