X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2Ftactics.ml;h=1ccd2adcb0ab0d655438ca858d56770ceec76e0b;hb=936f80cf031a7b034dd70fef49abb90e69f2e680;hp=527a8abb3bbb4b531a32bf95344ee767432ec2d1;hpb=ce5018fb3004d79fd16301dfc0fd9370d59ba4fc;p=helm.git

diff --git a/components/tactics/tactics.ml b/components/tactics/tactics.ml
index 527a8abb3..1ccd2adcb 100644
--- a/components/tactics/tactics.ml
+++ b/components/tactics/tactics.ml
@@ -71,3 +71,7 @@ let symmetry = EqualityTactics.symmetry_tac
 let transitivity = EqualityTactics.transitivity_tac
 let unfold = ReductionTactics.unfold_tac
 let whd = ReductionTactics.whd_tac
+let compose = Compose.compose_tac
+
+(* keep linked *)
+let _ = CloseCoercionGraph.close_coercion_graph;;