matitac now compiles like make (recorsively) if needed.

[helm.git] / matita / matitac.ml

diff --git a/matita/matitac.ml b/matita/matitac.ml
index 31258f6949e83b32f5747eb99fed7e820a241b74..d603d1b85d9909381f003d5aa8e6e5e7d6458396 100644 (file)
--- a/matita/matitac.ml
+++ b/matita/matitac.ml
@@ -100,8 +100,7 @@ let main () =
  | _ ->
       let dump_msg = "<filename> Dump source with expanded macros to <filename>" in
       MatitaInit.add_cmdline_spec ["-dump", Arg.String dump, dump_msg];
-      let _ = MatitacLib.main `COMPILER in
-      ()
+      MatitacLib.main ()
 
 let _ = main ()