Trivial fix

This commit is contained in:
Jeremie Dimino 2018-02-20 18:55:52 +00:00
parent 2a531c5d24
commit db345be90b
1 changed files with 1 additions and 1 deletions

View File

@ -594,7 +594,7 @@ and fold_closure ts ~init ~f ~stack =
| [] -> Ok acc | [] -> Ok acc
| t :: ts -> | t :: ts ->
if Int_set.mem t.unique_id !seen then if Int_set.mem t.unique_id !seen then
Ok acc loop ts acc ~stack
else begin else begin
seen := Int_set.add t.unique_id !seen; seen := Int_set.add t.unique_id !seen;
f t acc >>= fun acc -> f t acc >>= fun acc ->