matitac now compiles like make (recorsively) if needed.

[helm.git] / matita / matitadep.ml

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 2fc72ad8ad7fd02b8d63627e285fc4a3df70e354..4e309ae7585be99d31c82967ab9013cd84a410e2 100644 (file)
--- a/matita/matitadep.ml
+++ b/matita/matitadep.ml
@@ -88,7 +88,7 @@ let main () =
   let ma_files = args in
   (* here we go *)
   (* fills:
-              Hashtbl.add include_deps     ma_file moo_file
+              Hashtbl.add include_deps     ma_file ma_file
               Hashtbl.add include_deps_dot ma_file baseuri
   *)
   List.iter (fun ma_file -> ignore (baseuri_of_script ma_file)) ma_files;