first check in of continuationals implementation

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

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 1ef89807d6d96a58db886f8fdfc39572a4d9fb81..7c915b4c5e8ebfb21efa0409a9ce312665ba0327 100644 (file)
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -116,3 +116,5 @@ tactics.cmx: variousTactics.cmx tacticals.cmx ring.cmx reductionTactics.cmx \
     introductionTactics.cmx fwdSimplTactic.cmx fourierR.cmx \
     equalityTactics.cmx eliminationTactics.cmx discriminationTactics.cmx \
     autoTactic.cmx tactics.cmi 
+continuationals.cmo: continuationals.cmi 
+continuationals.cmx: continuationals.cmi