diff --git a/hosts/ocaml/bin/sx_server.ml b/hosts/ocaml/bin/sx_server.ml index 0b168dac..00f3c0bd 100644 --- a/hosts/ocaml/bin/sx_server.ml +++ b/hosts/ocaml/bin/sx_server.ml @@ -728,8 +728,7 @@ let register_jit_hook env = | Some _ -> None (* compile failed or disabled — CEK handles *) | None -> if !_jit_compiling then None - else if Hashtbl.mem _jit_warned fn_name then - (l.l_compiled <- Some Sx_vm.jit_failed_sentinel; None) + else if Hashtbl.mem _jit_warned fn_name then None else begin _jit_compiling := true; let t0 = Unix.gettimeofday () in