X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaAuthentication.ml;h=86189fddf6ec54c8a20995c2b952b7271470e73a;hb=92a81bb9f7e51807585feb00f102b1f02d6cf1d3;hp=5669658513a13f1d0e03748abbca6157585c9b1c;hpb=54f0752c831479f87d61afcdfdafd2a35edb4053;p=helm.git

diff --git a/matitaB/matita/matitaAuthentication.ml b/matitaB/matita/matitaAuthentication.ml
index 566965851..86189fddf 100644
--- a/matitaB/matita/matitaAuthentication.ml
+++ b/matitaB/matita/matitaAuthentication.ml
@@ -136,7 +136,8 @@ let read_ft uid =
       [] 
 ;;
 
-let set_file_flag uid filename flag = 
+let set_file_flag uid filename flag =
+  let filename = MatitaFilesystem.normalize_qfn filename in 
   let ft = read_ft uid in
   let oldflag = 
     try List.assoc filename ft