X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatitamake.ml;h=f0e17eb8b2ad435bccbfc869e639be731b996ce3;hb=f28480139ee72d092a9405619c3bdf6d4ff155ee;hp=9eab0f6d82a169017a64f9266ea47d89bb80df50;hpb=da85bc7d139566aa819c8e922d01b2e476ff6990;p=helm.git

diff --git a/helm/matita/matitamake.ml b/helm/matita/matitamake.ml
index 9eab0f6d8..f0e17eb8b 100644
--- a/helm/matita/matitamake.ml
+++ b/helm/matita/matitamake.ml
@@ -28,6 +28,7 @@
 module MK = MatitamakeLib ;;
 
 let main () =
+  MatitaInit.fill_registry ();
   MatitaInit.load_configuration_file ();
   MK.initialize ();
   let usage = ref (fun () -> ()) in