diff options
author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-07-24 17:33:46 +0000 |
---|---|---|
committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-07-24 17:33:46 +0000 |
commit | 229044d83a940d855fd9590d9aa76596f8c1a8b9 (patch) | |
tree | 935fd47cc96a0a22045bd8978798f3058c37649a /boot | |
parent | 936914100b0250a932750d51e67a9e01f3184149 (diff) | |
download | ocaml-229044d83a940d855fd9590d9aa76596f8c1a8b9.tar.gz |
Fix PR#5698: remove harcoded limit of 200000 labels in emitaux.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'boot')
0 files changed, 0 insertions, 0 deletions