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 /parsing/search.ml | |
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 'parsing/search.ml')
0 files changed, 0 insertions, 0 deletions