fix in Puf.iter

This commit is contained in:
Simon Cruanes 2015-03-30 22:42:06 +02:00
parent ff956b9cc2
commit 814aaadab5

View file

@ -454,10 +454,11 @@ module Make(X : ID) : S with type elt = X.t = struct
let iter uf f =
PArray.iteri
(fun i e -> match e with
(fun i i' ->
if i = i' then match PArray.get uf.data i with
| None -> ()
| Some d -> if d.next = i then f d.elt
) uf.data
| Some d -> f d.elt
) uf.parent
let inconsistent uf = uf.inconsistent