release snapshot

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

diff --git a/helm/matita/matitamake.ml b/helm/matita/matitamake.ml
index 9eab0f6d82a169017a64f9266ea47d89bb80df50..f0e17eb8b2ad435bccbfc869e639be731b996ce3 100644 (file)
--- 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