diff --git a/hosts/ocaml/bin/sx_server.ml b/hosts/ocaml/bin/sx_server.ml index 4afe29c1..f86b573b 100644 --- a/hosts/ocaml/bin/sx_server.ml +++ b/hosts/ocaml/bin/sx_server.ml @@ -727,7 +727,7 @@ let register_jit_hook env = None) | Some _ -> None (* compile failed or disabled — CEK handles *) | None -> - if !_jit_compiling || Hashtbl.mem _jit_warned fn_name then None + if !_jit_compiling then None else begin _jit_compiling := true; let t0 = Unix.gettimeofday () in