X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2F.depend;h=964011bfd1609a0355170ca53b1024c22970af70;hb=b617e876fb237d885e1160c7fb1c6f392017d7ec;hp=bb3e16d8e8bc73402a1f0b0263114ed06b97aea3;hpb=8c7fa04ccb0c54f4525de140e69065312e586465;p=helm.git

diff --git a/components/tactics/.depend b/components/tactics/.depend
index bb3e16d8e..964011bfd 100644
--- a/components/tactics/.depend
+++ b/components/tactics/.depend
@@ -31,6 +31,7 @@ setoids.cmi: proofEngineTypes.cmi
 fourierR.cmi: proofEngineTypes.cmi 
 fwdSimplTactic.cmi: proofEngineTypes.cmi 
 statefulProofEngine.cmi: proofEngineTypes.cmi 
+tactics.cmi: universe.cmi tacticals.cmi proofEngineTypes.cmi 
 declarative.cmi: universe.cmi proofEngineTypes.cmi 
 proofEngineTypes.cmo: proofEngineTypes.cmi 
 proofEngineTypes.cmx: proofEngineTypes.cmi