X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Ftactics%2F.depend;h=6c23fc90985a7ab63ef41d3b7df4b85a4779f8d2;hb=46bde81a59b45bedd6d859450decfc2263d92d7e;hp=dbccfe6d78388ff58fb821297786df853c966f84;hpb=378a122bd40f832581ee3e82cc428584b6579a57;p=helm.git

diff --git a/components/tactics/.depend b/components/tactics/.depend
index dbccfe6d7..6c23fc909 100644
--- a/components/tactics/.depend
+++ b/components/tactics/.depend
@@ -53,9 +53,9 @@ proofEngineStructuralRules.cmo: proofEngineTypes.cmi \
 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
     proofEngineStructuralRules.cmi 
 primitiveTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
-    proofEngineHelpers.cmi primitiveTactics.cmi 
+    proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi 
 primitiveTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
-    proofEngineHelpers.cmx primitiveTactics.cmi 
+    proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmi 
 hashtbl_equiv.cmo: hashtbl_equiv.cmi 
 hashtbl_equiv.cmx: hashtbl_equiv.cmi 
 metadataQuery.cmo: proofEngineTypes.cmi primitiveTactics.cmi \