X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaFilesystem.ml;h=2686fff42991037c26ee03ee09a4f38388bee38e;hb=b352c0b72bb62f7b4a44952aebc01f405f6af817;hp=b6a26f98bf5cb89d85ed722c6e3e682df50a9a78;hpb=88e311c949bede27c6a42e3a01a9b70717cee9be;p=helm.git
diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index b6a26f98b..2686fff42 100644
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -82,7 +82,7 @@ let html_of_library uid =
in
let leaf lpath =
"\n" ^
- "" ^
+ "" ^
(Filename.basename lpath) ^ "
"
in