X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=1276300b10bd117d367ade15f9a95ab6c840cc44;hb=951e8fda6fbef9b4149e37e4d406b2f82fd64a98;hp=637bea9897270f274e388da7d2899d1024a01af8;hpb=82baf094141d9ef518d681b8cebcc180bca14d2c;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 637bea989..1276300b1 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -397,7 +397,7 @@ module F =
             Printf.printf "rm %s\n" generated; flush stdout; r
          end
       else
-         compile ignore options fname
+         compact (compile ignore options fname)
     ;;
 
     let load_deps_file = Librarian.load_deps_file;;