]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ea07c7) | 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)
commit5cb3f5cf0571c537b3c14cf9220fe58562da4f0c
tree022d719e2f94084ae23f3955c5f33f57aad631c5tree | snapshot
parent6ea07c7b5d378a25eb6c9b3134aec642b86cd79ccommit | 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.
helm/software/components/cic_disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.