- matitacLib merged into matitaEngine

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

diff --git a/matita/matita/matitac.ml b/matita/matita/matitac.ml
index 5c8ea3738f922d8c04cbf56bb33493051434ad52..13b2aeb2fe1bccf216b5cd848913be29fcc2b80e 100644 (file)
--- a/matita/matita/matitac.ml
+++ b/matita/matita/matitac.ml
@@ -57,7 +57,7 @@ let main_compiler () =
   if system_mode then HLog.message "Compiling in system space";
   (* here we go *)
   if not (Helm_registry.get_bool "matita.verbose") then MatitaMisc.shutup ();
-  if MatitacLib.Make.make root target then 
+  if MatitaEngine.Make.make root target then 
     (HLog.message "Compilation successful"; 0)
   else
     (HLog.message "Compilation failed"; 1)