]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 847f57e) | patch
One-shot aliases were no longer generated because of a bug (i.e. all aliases
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 28 Oct 2009 15:26:49 +0000 (15:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 28 Oct 2009 15:26:49 +0000 (15:26 +0000)
commite9c6de34f4a1e784050a78db81787502cd112976
tree5e089be6a7820cadafd7583d0bb99b56990644e9tree | snapshot
parent847f57ed13f0b281dc3f2aa84bd89252d1b6a989commit | diff
One-shot aliases were no longer generated because of a bug (i.e. all aliases
retrieved from the universe used to have instance=0). Fixed by parameterizing
once again all the functions with a ~fix_instance function to fix the instance.
helm/software/components/cic_disambiguation/cicDisambiguate.ml diff | blob | history
helm/software/components/cic_disambiguation/cicDisambiguate.mli diff | blob | history
helm/software/components/disambiguation/disambiguate.ml diff | blob | history
helm/software/components/disambiguation/disambiguate.mli diff | blob | history
helm/software/components/disambiguation/multiPassDisambiguator.ml diff | blob | history
helm/software/components/disambiguation/multiPassDisambiguator.mli diff | blob | history
helm/software/components/grafite_parser/grafiteDisambiguate.ml diff | blob | history
helm/software/components/ng_disambiguation/nCicDisambiguate.ml diff | blob | history
helm/software/components/ng_disambiguation/nCicDisambiguate.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.