diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-01-12 17:13:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-01-12 17:13:29 +0000 |
| commit | 6e36d8910ac693e9729f352999bb960e30dc78f8 (patch) | |
| tree | 1c6291b3dae355eed97895ca35d4fb6bbe109f7a | |
| parent | c35c5b3efdd0c71bc07490bb74606bc8da0e06ce (diff) | |
Bug de partage dans Infix_tag (output_value incrementait obj_counter pour chaque Infix_tag, mais pas input_value)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | byterun/extern.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/extern.c b/byterun/extern.c index 79b6f7092..e0436ff4a 100644 --- a/byterun/extern.c +++ b/byterun/extern.c @@ -237,7 +237,7 @@ static void extern_rec(value v) return; } /* Check if already seen */ - if (! extern_ignore_sharing) { + if (! extern_ignore_sharing && tag != Infix_tag) { if (2 * obj_counter >= extern_table_size) resize_extern_table(); h = Hash(v); while (extern_table[h].ofs >= initial_ofs) { |