matitadep ported to the new baseuri free model

[helm.git] / matita / matitac.ml

diff --git a/matita/matitac.ml b/matita/matitac.ml
index 179a0ba8e8e508e413f22958cef5c20cc1039fbc..31258f6949e83b32f5747eb99fed7e820a241b74 100644 (file)
--- 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