From 6e36d8910ac693e9729f352999bb960e30dc78f8 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 12 Jan 1999 17:13:29 +0000
Subject: [PATCH] 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
---
 byterun/extern.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) {