all initialization code is now in the new matitaInit.ml module.

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

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index 4e260dcf60b7dc8b2a93bf9352bd47c048be4b9e..70240068fe71624063bac38e4ffdaf33bf652d0d 100644 (file)
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -96,8 +96,7 @@ let process_notation_of_file file =
         raise exn
 
 let main () =
-  Helm_registry.load_from BuildTimeConf.matita_conf;
-  CicNotation.load_notation BuildTimeConf.core_notation_script;
+  MatitaInit.initialize_notation ();
   let files = ref [] in
   Arg.parse arg_spec (add_l files) usage;
   List.iter