X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2F.depend;h=2ed8b5147261eaf8a07373e496682e87789d5791;hb=c39567bfa25333be8a51c969dabbaf0aeb4dfa57;hp=43ed94aa9dd287dcc9f31eed229e25d8ff636aed;hpb=50fd7ca0b4e54ee341517ea653b3862b9655d4c5;p=helm.git

diff --git a/helm/software/components/tactics/.depend b/helm/software/components/tactics/.depend
index 43ed94aa9..2ed8b5147 100644
--- a/helm/software/components/tactics/.depend
+++ b/helm/software/components/tactics/.depend
@@ -190,5 +190,7 @@ tactics.cmx: variousTactics.cmx tacticals.cmx paramodulation/saturation.cmx \
     introductionTactics.cmx fwdSimplTactic.cmx fourierR.cmx \
     equalityTactics.cmx eliminationTactics.cmx discriminationTactics.cmx \
     autoTactic.cmx tactics.cmi 
-declarative.cmo: tactics.cmi tacticals.cmi declarative.cmi 
-declarative.cmx: tactics.cmx tacticals.cmx declarative.cmi 
+declarative.cmo: tactics.cmi tacticals.cmi proofEngineTypes.cmi \
+    declarative.cmi 
+declarative.cmx: tactics.cmx tacticals.cmx proofEngineTypes.cmx \
+    declarative.cmi