X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitac.ml;h=d603d1b85d9909381f003d5aa8e6e5e7d6458396;hb=5356519d50425dfca5b42ad5faeb2181d4240c78;hp=31258f6949e83b32f5747eb99fed7e820a241b74;hpb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;p=helm.git

diff --git a/matita/matitac.ml b/matita/matitac.ml
index 31258f694..d603d1b85 100644
--- 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 ()