X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2F.depend;h=adfa7b5592dc590ce7d7eb1c6a7d4ebd53778682;hb=6b3242efcd29ea188ef09b445985abb06c5fad3a;hp=5d08f2d2176d9906347599fa00ff69130d86514e;hpb=780525c2f318cfe782c3d41b70607ba9d72bcc80;p=helm.git

diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend
index 5d08f2d21..adfa7b559 100644
--- a/helm/software/components/ng_kernel/.depend
+++ b/helm/software/components/ng_kernel/.depend
@@ -4,7 +4,7 @@ nCicSubstitution.cmi: nCic.cmo
 oCic2NCic.cmi: nUri.cmi nReference.cmi nCic.cmo 
 nCic2OCic.cmi: nUri.cmi nReference.cmi nCic.cmo 
 nCicLibrary.cmi: nUri.cmi nCic.cmo 
-nCicPp.cmi: nCic.cmo 
+nCicPp.cmi: nReference.cmi nCic.cmo 
 nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo 
 nCicReduction.cmi: nCic.cmo 
 nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo