X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitacLib.ml;h=ee7a2eae582be1b6b4569650162d13f3cb7561c8;hb=fa0347cc0a604ba8743da9479117e1f13ab60482;hp=80e81c2d7386f647b10c94aed0f4016dc6ae22ab;hpb=e5141edaab98baafa31173da8164fa5d87b808c5;p=helm.git

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index 80e81c2d7..ee7a2eae5 100644
--- a/matita/matitacLib.ml
+++ b/matita/matitacLib.ml
@@ -94,7 +94,6 @@ let cut prefix s =
 ;;
 
 let rec compile fname =
-  Helm_registry.set_string "matita.filename" fname;
   (* initialization, MOVE OUTSIDE *)
   let matita_debug = Helm_registry.get_bool "matita.debug" in
   let clean_baseuri = not (Helm_registry.get_bool "matita.preserve") in