From db345be90b0770a7e410a46aad5b6a665a0db476 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 20 Feb 2018 18:55:52 +0000 Subject: [PATCH] Trivial fix --- src/lib.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib.ml b/src/lib.ml index 60188128..dcf4e836 100644 --- a/src/lib.ml +++ b/src/lib.ml @@ -594,7 +594,7 @@ and fold_closure ts ~init ~f ~stack = | [] -> Ok acc | t :: ts -> if Int_set.mem t.unique_id !seen then - Ok acc + loop ts acc ~stack else begin seen := Int_set.add t.unique_id !seen; f t acc >>= fun acc ->