X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2F.depend;h=d1863019c7588811e1a255ef1039df42ba7fdc1c;hb=e4b873cd8511753e65319d02fcdd5473214f42a5;hp=581663cd22fd449ecf6e4334340d92bd4885fc69;hpb=7c2045fe89bee49c3eaf04b92fd05e577174dcb9;p=helm.git

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 581663cd2..d1863019c 100644
--- 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