]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/matitacLib.ml
- some depend files fixed
[helm.git] / helm / software / matita / matitacLib.ml
index 637bea9897270f274e388da7d2899d1024a01af8..1276300b10bd117d367ade15f9a95ab6c840cc44 100644 (file)
@@ -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;;