1. Stricter controls implemented in injection.

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

diff --git a/components/tactics/.depend b/components/tactics/.depend
index 43ed94aa9dd287dcc9f31eed229e25d8ff636aed..2ed8b5147261eaf8a07373e496682e87789d5791 100644 (file)
--- a/components/tactics/.depend
+++ b/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