X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.ml;h=f75cbcf483472fd9d6d091315b108ec69f46bdbe;hb=943c8baae10afee070468ab54f4bf86563df2418;hp=5ca8ffc82a7f6f600303c41fe0d3c32afa6f6cbd;hpb=32e77480c65cbf23ae7dea38a519c83dfeaf3830;p=helm.git

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index 5ca8ffc82..f75cbcf48 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -229,7 +229,7 @@ let parse_cmdline init_status =
               ("Do not catch top-level exception "
               ^ "(useful for backtrace inspection)");
 	    "-onepass",
-	    Arg.Unit (fun () -> GrafiteDisambiguator.only_one_pass := true),
+	    Arg.Unit (fun () -> MultiPassDisambiguator.only_one_pass := true),
 	    "Enable only one disambiguation pass";    
           ]
         else []
@@ -280,4 +280,8 @@ let initialize_environment () =
   status := initialize_environment !status
 
 let _ =
-  Inversion_principle.init ()
+  CicFix.init ();
+  Inversion_principle.init ();
+  CicRecord.init ();
+  CicElim.init ()
+;;