X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2F.depend;h=608260c830df489f2847f4cf1dc79d0aca331f3a;hb=c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944;hp=683e59f8871e52ad03d7d9c47639a37314a75c9b;hpb=7af6bb6e640a44489bdab79a38300cf103e45bd4;p=helm.git

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 683e59f88..608260c83 100644
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -16,8 +16,6 @@ proofEngineReduction.cmo: proofEngineReduction.cmi
 proofEngineReduction.cmx: proofEngineReduction.cmi 
 proofEngineHelpers.cmo: proofEngineHelpers.cmi 
 proofEngineHelpers.cmx: proofEngineHelpers.cmi 
-fourier.cmo: fourier.cmi 
-fourier.cmx: fourier.cmi 
 tacticals.cmo: proofEngineTypes.cmo tacticals.cmi 
 tacticals.cmx: proofEngineTypes.cmx tacticals.cmi 
 reductionTactics.cmo: proofEngineReduction.cmi reductionTactics.cmi 
@@ -70,6 +68,8 @@ ring.cmo: eliminationTactics.cmi equalityTactics.cmi primitiveTactics.cmi \
 ring.cmx: eliminationTactics.cmx equalityTactics.cmx primitiveTactics.cmx \
     proofEngineStructuralRules.cmx proofEngineTypes.cmx tacticals.cmx \
     ring.cmi 
+fourier.cmo: fourier.cmi 
+fourier.cmx: fourier.cmi 
 fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
     proofEngineHelpers.cmi proofEngineTypes.cmo reductionTactics.cmi ring.cmi \
     tacticals.cmi fourierR.cmi