diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-07-19 13:33:48 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-07-19 13:33:48 +0000 |
| commit | 00678383733c61ff96596cdc1e3d5527ad51a5a9 (patch) | |
| tree | 5093271fd9f1054d147ed38e500e00f0f5abbe02 /translate | |
| parent | 35ad1640ca69dbc257787c4eae6602582e54454c (diff) | |
Protection des accès tableau car, sur Sparc-linux, cela engendre une erreur fatale d'ocaml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5958 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'translate')
0 files changed, 0 insertions, 0 deletions