Commits

Sébastien Ferré  committed 7c3e360

Bug fixed in weak_get_index.

  • Participants
  • Parent commits 4dd3368

Comments (0)

Files changed (1)

   fun w ->
     let l = Weak.length !w in
     let i = ref 0 in
-    while Weak.check !w !i do incr i done;
+    while !i < l & Weak.check !w !i do incr i done;
     if !i >= l then begin
       let ar = Weak.create (l + 10)
       in Weak.blit !w 0 ar 0 l; w := ar end;