diff options
| author | herbelin | 2002-07-30 18:13:55 +0000 |
|---|---|---|
| committer | herbelin | 2002-07-30 18:13:55 +0000 |
| commit | c6f4207c59f8e056cbd58f6e67ada6a70eaac8ad (patch) | |
| tree | 03bbb5a774b4afaa4a1e707a7d3a94b921161df3 /dev | |
| parent | 2fe02b651f1977c6b9ada62c1f1457a437fa6090 (diff) | |
Réparation d'un bug qui considérait les composantes d'un QUALID
comme occurrences de variables indépendantes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2942 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions