parameter sintax added to axiom statement

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