From: Ferruccio Guidi Date: Sun, 6 Jan 2013 20:09:18 +0000 (+0000) Subject: dependences update X-Git-Tag: make_still_working~1361 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0c20479c04748438ccdba89a8f11d68c52012c92;p=helm.git dependences update --- diff --git a/matita/components/ng_kernel/.depend b/matita/components/ng_kernel/.depend index 5273e5eb8..468f3d4b2 100644 --- a/matita/components/ng_kernel/.depend +++ b/matita/components/ng_kernel/.depend @@ -7,7 +7,7 @@ nCicReduction.cmi: nCic.cmo nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo nCicUntrusted.cmi: nCic.cmo nCicPp.cmi: nReference.cmi nCic.cmo -nCicExtraction.cmi: nCic.cmo +nCicExtraction.cmi: nReference.cmi nCic.cmo nCic.cmo: nUri.cmi nReference.cmi nCic.cmx: nUri.cmx nReference.cmx nUri.cmo: nUri.cmi diff --git a/matita/components/ng_kernel/.depend.opt b/matita/components/ng_kernel/.depend.opt index af21515ba..b5f0bb930 100644 --- a/matita/components/ng_kernel/.depend.opt +++ b/matita/components/ng_kernel/.depend.opt @@ -7,7 +7,7 @@ nCicReduction.cmi: nCic.cmx nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmx nCicUntrusted.cmi: nCic.cmx nCicPp.cmi: nReference.cmi nCic.cmx -nCicExtraction.cmi: nCic.cmx +nCicExtraction.cmi: nReference.cmi nCic.cmx nCic.cmo: nUri.cmi nReference.cmi nCic.cmx: nUri.cmx nReference.cmx nUri.cmo: nUri.cmi @@ -41,8 +41,8 @@ nCicPp.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \ nCicPp.cmx: nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \ nCicEnvironment.cmx nCic.cmx nCicPp.cmi nCicExtraction.cmo: nUri.cmi nReference.cmi nCicUntrusted.cmi \ - nCicTypeChecker.cmi nCicReduction.cmi nCicPp.cmi nCicEnvironment.cmi \ - nCic.cmx nCicExtraction.cmi + nCicTypeChecker.cmi nCicSubstitution.cmi nCicReduction.cmi nCicPp.cmi \ + nCicEnvironment.cmi nCic.cmx nCicExtraction.cmi nCicExtraction.cmx: nUri.cmx nReference.cmx nCicUntrusted.cmx \ - nCicTypeChecker.cmx nCicReduction.cmx nCicPp.cmx nCicEnvironment.cmx \ - nCic.cmx nCicExtraction.cmi + nCicTypeChecker.cmx nCicSubstitution.cmx nCicReduction.cmx nCicPp.cmx \ + nCicEnvironment.cmx nCic.cmx nCicExtraction.cmi