]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dc727b) | patch
Bug fixed: the disambiguation domain for a record with left parameters was
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 5 Nov 2006 16:19:38 +0000 (16:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 5 Nov 2006 16:19:38 +0000 (16:19 +0000)
commit3cfd4bb3d93b84b4b59ac04265ec00e5f5253c02
tree6edff9af1c08eaff7c376a5a5a26be3f340dc671tree | snapshot
parent9dc727beb31286d228834cb6bce7afa242363477commit | diff
Bug fixed: the disambiguation domain for a record with left parameters was
not obtained with a pre-visit. The result was that often Failures were detected
later than possible with consequent waste of time.
components/cic_disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.