X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2F.depend;h=d9d6034a11e090bef20f2d14ccd1d8fb4e5692e2;hb=c6de6147adbf650a444b81f0aaccc8cceeeb5b9b;hp=9b33c943edd11df35856ba1dee39ca10619c6bcb;hpb=32d3f10c1904d450ce8ea3525230acc6980a5601;p=helm.git

diff --git a/helm/software/components/tactics/.depend b/helm/software/components/tactics/.depend
index 9b33c943e..d9d6034a1 100644
--- a/helm/software/components/tactics/.depend
+++ b/helm/software/components/tactics/.depend
@@ -187,10 +187,10 @@ ring.cmo: tacticals.cmi proofEngineTypes.cmi proofEngineStructuralRules.cmi \
     primitiveTactics.cmi equalityTactics.cmi eliminationTactics.cmi ring.cmi 
 ring.cmx: tacticals.cmx proofEngineTypes.cmx proofEngineStructuralRules.cmx \
     primitiveTactics.cmx equalityTactics.cmx eliminationTactics.cmx ring.cmi 
-setoids.cmo: proofEngineTypes.cmi primitiveTactics.cmi equalityTactics.cmi \
-    setoids.cmi 
-setoids.cmx: proofEngineTypes.cmx primitiveTactics.cmx equalityTactics.cmx \
-    setoids.cmi 
+setoids.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
+    primitiveTactics.cmi equalityTactics.cmi setoids.cmi 
+setoids.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
+    primitiveTactics.cmx equalityTactics.cmx setoids.cmi 
 fourier.cmo: fourier.cmi 
 fourier.cmx: fourier.cmi 
 fourierR.cmo: tacticals.cmi ring.cmi reductionTactics.cmi \