X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2F.depend;h=a411383423165650cb5f7e49eb9b516d94989881;hb=84a2a8323e96dc66f03ed856f5f49728853c0b72;hp=4b11d9af63b98c6343b5fcc70cb32931340bc6ad;hpb=a5da590cb272fbe6d8e00b781ac40422ae1b816a;p=helm.git

diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend
index 4b11d9af6..a41138342 100644
--- a/helm/software/components/ng_kernel/.depend
+++ b/helm/software/components/ng_kernel/.depend
@@ -1,3 +1,4 @@
+nUri.cmi: 
 nReference.cmi: nUri.cmi 
 nCicUtils.cmi: nCic.cmo 
 nCicSubstitution.cmi: nCic.cmo