first check in of statefulProofEngine

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

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 581663cd22fd449ecf6e4334340d92bd4885fc69..d1863019c7588811e1a255ef1039df42ba7fdc1c 100644 (file)
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -12,6 +12,7 @@ equalityTactics.cmi: proofEngineTypes.cmo
 discriminationTactics.cmi: proofEngineTypes.cmo 
 ring.cmi: proofEngineTypes.cmo 
 fourierR.cmi: proofEngineTypes.cmo 
+statefulProofEngine.cmi: proofEngineTypes.cmo 
 proofEngineReduction.cmo: proofEngineReduction.cmi 
 proofEngineReduction.cmx: proofEngineReduction.cmi 
 proofEngineHelpers.cmo: proofEngineHelpers.cmi 
@@ -82,3 +83,5 @@ fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
 fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
     proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
     tacticals.cmx fourierR.cmi 
+statefulProofEngine.cmo: statefulProofEngine.cmi 
+statefulProofEngine.cmx: statefulProofEngine.cmi