X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitacLib.ml;h=4d04d371c8ea07f4de3d08122d13474d8f05c0fb;hb=9f8a383035b272c628c555b728e84caf9229cd57;hp=d57d211e21edde02b8c20beae7c5468f068e9bbb;hpb=2c4b1dbd4de1ae46da243b1adb9df2654bd0fb51;p=helm.git

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index d57d211e2..4d04d371c 100644
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -141,6 +141,7 @@ let main ~mode =
      begin
        MatitaLog.message 
          (sprintf "execution of %s completed in %s." fname (hou^min^sec));
+         close_out (open_out (MatitaMisc.obj_file_of_script fname));
        exit 0
      end
   with