X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitadep.ml;h=4e309ae7585be99d31c82967ab9013cd84a410e2;hb=5356519d50425dfca5b42ad5faeb2181d4240c78;hp=2fc72ad8ad7fd02b8d63627e285fc4a3df70e354;hpb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;p=helm.git

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 2fc72ad8a..4e309ae75 100644
--- 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;