diff options
| -rw-r--r-- | VERSION | 2 | ||||
| -rw-r--r-- | stdlib/weak.ml | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -3.10+dev22 (2007-02-07) +3.10+dev24 (2007-02-16) # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli diff --git a/stdlib/weak.ml b/stdlib/weak.ml index 30f11a9d4..317c3729f 100644 --- a/stdlib/weak.ml +++ b/stdlib/weak.ml @@ -145,7 +145,7 @@ module Make (H : Hashtbl.HashedType) : (S with type data = H.t) = struct fold (fun d () -> add newt d) t (); (* assert Array.length newt.table = newlen; *) t.table <- newt.table; - t.limit <- t.limit + 2; + (* t.limit <- t.limit + 2; -- performance bug *) end and add_aux t d index = |