]> matita.cs.unibo.it Git - helm.git/blob - disambiguation/.depend.opt
made executable again
[helm.git] / disambiguation / .depend.opt
1 disambiguateTypes.cmi:
2 disambiguate.cmi: disambiguateTypes.cmi
3 multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi
4 disambiguateTypes.cmo: disambiguateTypes.cmi
5 disambiguateTypes.cmx: disambiguateTypes.cmi
6 disambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi
7 disambiguate.cmx: disambiguateTypes.cmx disambiguate.cmi
8 multiPassDisambiguator.cmo: disambiguateTypes.cmi disambiguate.cmi \
9     multiPassDisambiguator.cmi
10 multiPassDisambiguator.cmx: disambiguateTypes.cmx disambiguate.cmx \
11     multiPassDisambiguator.cmi