X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitadep.ml;h=fdcc89aa96fed08e20cdc44ab39540cc25beff96;hb=aa0d60227b785da3355b31519ba11cb4fbd2c925;hp=c845954ed36776a99c3496628e6f853d8894f4a7;hpb=7b995596c8b11be95c430646227d01928cc71219;p=helm.git

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index c845954ed..fdcc89aa9 100644
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 module GA = GrafiteAst 
 module U = UriManager
 
@@ -35,29 +37,29 @@ let main () =
   let resolve alias current_buri =
     let buri = buri alias in
     if buri <> current_buri then Some buri else None in
-  let include_paths =
-   Helm_registry.get_list Helm_registry.string "matita.includes" in
   MatitaInit.load_configuration_file ();
   MatitaInit.parse_cmdline ();
+  let include_paths =
+   Helm_registry.get_list Helm_registry.string "matita.includes" in
   let basedir = Helm_registry.get "matita.basedir" in
   List.iter
    (fun ma_file -> 
     let ic = open_in ma_file in
     let istream = Ulexing.from_utf8_channel ic in
-    let dependencies = GrafiteParser.parse_dependencies istream in
+    let dependencies = DependenciesParser.parse_dependencies istream in
     close_in ic;
     List.iter 
      (function
-       | GrafiteAst.UriDep uri -> 
+       | DependenciesParser.UriDep uri -> 
           let uri = UriManager.string_of_uri uri in
           Hashtbl.add uri_deps ma_file uri
-       | GrafiteAst.BaseuriDep uri -> 
+       | DependenciesParser.BaseuriDep uri -> 
           let uri = Http_getter_misc.strip_trailing_slash uri in
           Hashtbl.add baseuri_of ma_file uri
-       | GrafiteAst.IncludeDep path -> 
+       | DependenciesParser.IncludeDep path -> 
           try 
             let baseuri =
-             GrafiteParserMisc.baseuri_of_script ~include_paths path in
+             DependenciesParser.baseuri_of_script ~include_paths path in
             let moo_file = LibraryMisc.obj_file_of_baseuri ~basedir ~baseuri in
             Hashtbl.add include_deps ma_file moo_file
           with Sys_error _ ->