new kernel is compiled since the META of grafite_parser depends on the META of ng_dis...

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

diff --git a/helm/software/components/ng_disambiguation/.depend b/helm/software/components/ng_disambiguation/.depend
index 0d758d77c3f43ead306188faba5890fe00429b61..8332733196cfe7e831779b7c44ba86975afc5465 100644 (file)
--- a/helm/software/components/ng_disambiguation/.depend
+++ b/helm/software/components/ng_disambiguation/.depend
@@ -1,2 +1,4 @@
 nDisambiguate.cmo: nDisambiguate.cmi 
 nDisambiguate.cmx: nDisambiguate.cmi 
+nGrafiteDisambiguator.cmo: nDisambiguate.cmi nGrafiteDisambiguator.cmi 
+nGrafiteDisambiguator.cmx: nDisambiguate.cmx nGrafiteDisambiguator.cmi