acic_procedural and tactics removed

[helm.git] / matita / matita / matitaInit.ml

diff --git a/matita/matita/matitaInit.ml b/matita/matita/matitaInit.ml
index 70125f54c222bb5dc3c3d146a8a7cc8aecfee294..43e76cda10ae5ddd52fc39e31d567ad408a662a0 100644 (file)
--- a/matita/matita/matitaInit.ml
+++ b/matita/matita/matitaInit.ml
@@ -294,7 +294,6 @@ let initialize_environment () =
 
 let _ =
   CicFix.init ();
-  Inversion_principle.init ();
   CicRecord.init ();
   CicElim.init ()
 ;;