1. matitaEngine splitted into disambiguation (now in grafite_parser) and

[helm.git] / helm / matita / matitadep.ml

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index 34f7744a00daa88c241e769442e6c5ddb4aa8a09..c40f1636d76e8a3a5e6c1b18cfcfe63e730a6f10 100644 (file)
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -67,12 +67,12 @@ let main () =
           let uri = UriManager.string_of_uri uri in
           Hashtbl.add uri_deps file uri
       | GrafiteAst.BaseuriDep uri -> 
-          let uri = MatitaMisc.strip_trailing_slash uri in
+          let uri = Http_getter_misc.strip_trailing_slash uri in
           Hashtbl.add baseuri_of file uri
       | GrafiteAst.IncludeDep path -> 
           try 
             let ma_file = if path <> "coq.ma" then find path else path in
-            let moo_file = MatitaMisc.obj_file_of_script ~basedir ma_file in
+            let moo_file = GrafiteMisc.obj_file_of_script ~basedir ma_file in
             Hashtbl.add include_deps file moo_file
           with Sys_error _ -> 
             HLog.warn 
@@ -94,7 +94,7 @@ let main () =
     let deps = List.fast_sort Pervasives.compare deps in
     let deps = HExtlib.list_uniq deps in
     let deps = file :: deps in
-    let moo = MatitaMisc.obj_file_of_script ~basedir file in
+    let moo = GrafiteMisc.obj_file_of_script ~basedir file in
      Printf.printf "%s: %s\n" moo (String.concat " " deps);
      Printf.printf "%s: %s\n" (Pcre.replace ~pat:"ma$" ~templ:"mo" file) moo)
    (Helm_registry.get_list Helm_registry.string "matita.args")