X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2F.depend;h=16f0d02cce32e0673a5ebae845e6a94b88f9d1a2;hb=143c97a8fe657eb7b041dec2747b0e67b5899762;hp=468f3d4b220adb4b47edfbeca45763b3dc21b5d4;hpb=0c20479c04748438ccdba89a8f11d68c52012c92;p=helm.git

diff --git a/matita/components/ng_kernel/.depend b/matita/components/ng_kernel/.depend
index 468f3d4b2..16f0d02cc 100644
--- a/matita/components/ng_kernel/.depend
+++ b/matita/components/ng_kernel/.depend
@@ -7,7 +7,6 @@ nCicReduction.cmi: nCic.cmo
 nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo
 nCicUntrusted.cmi: nCic.cmo
 nCicPp.cmi: nReference.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
@@ -40,9 +39,3 @@ nCicPp.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \
     nCicEnvironment.cmi nCic.cmo nCicPp.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 nCicSubstitution.cmi nCicReduction.cmi nCicPp.cmi \
-    nCicEnvironment.cmi nCic.cmo nCicExtraction.cmi
-nCicExtraction.cmx: nUri.cmx nReference.cmx nCicUntrusted.cmx \
-    nCicTypeChecker.cmx nCicSubstitution.cmx nCicReduction.cmx nCicPp.cmx \
-    nCicEnvironment.cmx nCic.cmx nCicExtraction.cmi