X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2F.depend;h=924b43fe8b1e756cd613663bd3e09f5adf9fd7d8;hb=c22f39a5d5afc0ef55beb221e00e2e6703b13d90;hp=1f93f13272de28521ef99e4ca00a32e74cbc2633;hpb=57c7d6ef239b4c2b070721715887684adf41159c;p=helm.git

diff --git a/helm/software/components/ng_refiner/.depend b/helm/software/components/ng_refiner/.depend
index 1f93f1327..924b43fe8 100644
--- a/helm/software/components/ng_refiner/.depend
+++ b/helm/software/components/ng_refiner/.depend
@@ -1,3 +1,7 @@
+nDiscriminationTree.cmi: 
+nCicMetaSubst.cmi: 
+nCicCoercion.cmi: 
+nCicUnifHint.cmi: 
 nRstatus.cmi: nCicUnifHint.cmi nCicCoercion.cmi 
 nCicUnification.cmi: nRstatus.cmi 
 nCicRefiner.cmi: nRstatus.cmi