X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2F.depend;h=0485befbe9c2a6450fee7557687c7806dfd0a0a9;hb=3c8abd24ff28dfd95f1428dae80c5807a328e9ae;hp=12dc298e78260861fbc93a9c82d1777a444cce69;hpb=76ab642ba92a6775d6421698f3caaf2e40cebcd3;p=helm.git

diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend
index 12dc298e7..0485befbe 100644
--- a/helm/software/components/ng_kernel/.depend
+++ b/helm/software/components/ng_kernel/.depend
@@ -2,7 +2,7 @@ nReference.cmi: nUri.cmi
 nCicPp.cmi: nCic.cmo 
 oCic2NCic.cmi: nCic.cmo 
 nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo 
-nCicTypeChecker.cmi: nCic.cmo 
+nCicTypeChecker.cmi: nUri.cmi nCic.cmo 
 nCicUtils.cmi: nCic.cmo 
 nCicSubstitution.cmi: nCic.cmo 
 nCicReduction.cmi: nCic.cmo