ocaml 3.09 transition

[helm.git] / helm / ocaml / tactics / tactics.ml

diff --git a/helm/ocaml/tactics/tactics.ml b/helm/ocaml/tactics/tactics.ml
index f6c166268896edb97fa1c6eaf0820742e99e5590..e75677caf9253fe0dd282a68927359ceb8674316 100644 (file)
--- a/helm/ocaml/tactics/tactics.ml
+++ b/helm/ocaml/tactics/tactics.ml
@@ -66,4 +66,5 @@ let simpl = ReductionTactics.simpl_tac
 let split = IntroductionTactics.split_tac
 let symmetry = EqualityTactics.symmetry_tac
 let transitivity = EqualityTactics.transitivity_tac
+let unfold = ReductionTactics.unfold_tac
 let whd = ReductionTactics.whd_tac