dependences update

[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 6b4ef95c1ee75472df6140057f1b06851033b996..eb813b12d265a8f02248b7ecebeb313a56e211f7 100644 (file)
--- a/helm/software/components/ng_disambiguation/.depend
+++ b/helm/software/components/ng_disambiguation/.depend
@@ -1,2 +1,5 @@
-nCicDisambiguate.cmo: nCicDisambiguate.cmi 
-nCicDisambiguate.cmx: nCicDisambiguate.cmi 
+nCicDisambiguate.cmi :
+nCicDisambiguate.cmo : nCicDisambiguate.cmi
+nCicDisambiguate.cmx : nCicDisambiguate.cmi
+nnumber_notation.cmo :
+nnumber_notation.cmx :