-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 :