X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Ftactics%2F.depend;h=95131ecf403fd8731393313cbf771994f85c3c60;hb=2ca2baa7b345693c7684994130707fb152227931;hp=5d1ceb1d0e7db7067b6096fc108e0d11acd32ca9;hpb=059c1bb4766e823aa53b39fed7d3dd55b4a06101;p=helm.git

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 5d1ceb1d0..95131ecf4 100644
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -17,6 +17,7 @@ ring.cmi: proofEngineTypes.cmi
 fourierR.cmi: proofEngineTypes.cmi 
 fwdSimplTactic.cmi: proofEngineTypes.cmi 
 statefulProofEngine.cmi: proofEngineTypes.cmi 
+tactics.cmi: proofEngineTypes.cmi 
 proofEngineTypes.cmo: proofEngineTypes.cmi 
 proofEngineTypes.cmx: proofEngineTypes.cmi 
 proofEngineHelpers.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi