...

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

diff --git a/helm/software/components/ng_refiner/.depend b/helm/software/components/ng_refiner/.depend
index 1bedd90f698e0553b4701c8669b6f73949b505ac..b71e499a165043fbff379fae6975f2d046361b47 100644 (file)
--- a/helm/software/components/ng_refiner/.depend
+++ b/helm/software/components/ng_refiner/.depend
@@ -1,3 +1,5 @@
+nDiscriminationTree.cmo: nDiscriminationTree.cmi 
+nDiscriminationTree.cmx: nDiscriminationTree.cmi 
 nCicMetaSubst.cmo: nCicMetaSubst.cmi 
 nCicMetaSubst.cmx: nCicMetaSubst.cmi 
 nCicUnification.cmo: nCicUnification.cmi