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

diff --git a/matita/matitac.ml b/matita/matitac.ml
index 179a0ba8e..31258f694 100644
--- a/matita/matitac.ml
+++ b/matita/matitac.ml
@@ -98,9 +98,6 @@ let main () =
  |"matitaprover.opt.static" ->Matitaprover.main()
  |"matitawiki"|"matitawiki.opt" ->MatitaWiki.main()
  | _ ->
-(*
-      let _ = Paramodulation.Saturation.init () in  *)
-(* ALB to link paramodulation *)
       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