From aeb6872ffb75da21c54db1b8b01d591909ca6140 Mon Sep 17 00:00:00 2001 From: ArthurW Date: Wed, 4 Sep 2024 22:28:04 +0200 Subject: [PATCH] fix libirmin hanging --- src/libirmin/util.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/libirmin/util.ml b/src/libirmin/util.ml index 5213693131..812d13c47e 100644 --- a/src/libirmin/util.ml +++ b/src/libirmin/util.ml @@ -49,7 +49,7 @@ module Make (I : Cstubs_inverted.INTERNAL) = struct match Lwt.poll x with | Some x -> x | None -> - let () = Lwt_engine.iter true in + let () = Lwt_engine.iter false in run x module Root = struct