Restore exec_thread_yield

OCamlPro · Feb 9, 2024 · 4913199 · 4913199
1 parent d4c1c25
commit 4913199
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 () ->