From 49131998096f92f3a071dbe01bceea02f06fd80d Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Fri, 9 Feb 2024 15:57:37 +0100
Subject: [PATCH] Restore exec_thread_yield

---
 src/lib/reasoners/relation.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/reasoners/relation.ml b/src/lib/reasoners/relation.ml
index c632a3cb9..1e3e476aa 100644
--- a/src/lib/reasoners/relation.ml
+++ b/src/lib/reasoners/relation.ml
@@ -127,6 +127,7 @@ let try_query (type a) (module R : Sig_rel.RELATION with type t = a) env uf a
   | None -> k ()
 
 let query env uf a =
+  Options.exec_thread_yield ();
   try_query (module Rel1) env.r1 uf a @@ fun () ->
   try_query (module Rel2) env.r2 uf a @@ fun () ->
   try_query (module Rel3) env.r3 uf a @@ fun () ->