diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-29 20:04:43 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-29 20:04:43 +0000 |
| commit | 7d46472d5e06d78e75646da8b26ee19b3914d36f (patch) | |
| tree | 2fe497887becaa4f1dd170f8e100b76d71a739da /library | |
| parent | 110db6ddf023c98a76c719caf602559942ba089e (diff) | |
Correction d'un bug dans l'analyse des contraintes non résolues
(report de 11190 de v8.2 vers trunk). Le code fautif n'était en fait
plus utilisé car les contraintes de la forme ?n[..,x,..,x,..] := x que
ce code analysait sont finalement résolues par une heuristique de
consider_remaining_univ_constraints consistant à reproduire le
comportement de la 8.1.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11192 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions