more cases of the type checker honoured, still missing Match and Const.

[helm.git] / helm / software / components / ng_kernel / .depend

diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend
index a6a0a07f6f7f270a4920dfca5b6fba3bfe63d830..d28300802e3ee280b242a8d5ae091ba76bd30ba9 100644 (file)
--- a/helm/software/components/ng_kernel/.depend
+++ b/helm/software/components/ng_kernel/.depend
@@ -1,4 +1,5 @@
 nReference.cmi: nUri.cmi 
+nCicPp.cmi: nCic.cmo 
 oCic2NCic.cmi: nCic.cmo 
 nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo 
 nCicTypeChecker.cmi: nCic.cmo 
@@ -12,6 +13,8 @@ nUri.cmo: nUri.cmi
 nUri.cmx: nUri.cmi 
 nReference.cmo: nUri.cmi nReference.cmi 
 nReference.cmx: nUri.cmx nReference.cmi 
+nCicPp.cmo: nCicPp.cmi 
+nCicPp.cmx: nCicPp.cmi 
 oCic2NCic.cmo: nUri.cmi nReference.cmi nCic.cmo oCic2NCic.cmi 
 oCic2NCic.cmx: nUri.cmx nReference.cmx nCic.cmx oCic2NCic.cmi 
 nCicEnvironment.cmo: oCic2NCic.cmi nUri.cmi nReference.cmi nCic.cmo \