X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2F.depend;h=468f3d4b220adb4b47edfbeca45763b3dc21b5d4;hb=76a993b80bb33d1075f84c55637ca1897644b16a;hp=5273e5eb8180d0992bc8e4ae8f614920acfa8d48;hpb=a484a2c1e0c022753aefae6a74fbce9fe4cf7983;p=helm.git

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