X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitac.ml;h=8645d21755ca4460c9747715ad5c024e2a53de86;hb=fa0347cc0a604ba8743da9479117e1f13ab60482;hp=868326a8dec808c68d1781bea0b3191d83f81d50;hpb=e5141edaab98baafa31173da8164fa5d87b808c5;p=helm.git

diff --git a/matita/matitac.ml b/matita/matitac.ml
index 868326a8d..8645d2175 100644
--- a/matita/matitac.ml
+++ b/matita/matitac.ml
@@ -135,17 +135,7 @@ let main_compiler () =
         with Unix.Unix_error (Unix.ENOENT, "stat", f) when f = s -> None
       ;;
   
-      let build fname = 
-        let oldfname = 
-          Helm_registry.get_opt
-           Helm_registry.string "matita.filename"
-        in
-        let rc = MatitacLib.compile fname in
-        (match oldfname with
-        | Some n -> Helm_registry.set_string "matita.filename" n;
-        | _ -> Helm_registry.unset "matita.filename");
-        rc
-      ;;
+      let build = MatitacLib.compile;;
     end 
   in
   let module Make = Make.Make(F) in