diff --git a/src/unix/lwt_unix_stubs.c b/src/unix/lwt_unix_stubs.c index 74f7f7246..f842eac07 100644 --- a/src/unix/lwt_unix_stubs.c +++ b/src/unix/lwt_unix_stubs.c @@ -19,6 +19,7 @@ #include #include #include +#include #include #include @@ -989,7 +990,12 @@ static void *worker_loop(void *data) { /* Description of jobs. */ struct custom_operations job_ops = { "lwt.unix.job", custom_finalize_default, custom_compare_default, - custom_hash_default, custom_serialize_default, custom_deserialize_default}; + custom_hash_default, custom_serialize_default, custom_deserialize_default, + custom_compare_ext_default, +#if OCAML_VERSION >= 40800 + NULL +#endif +}; /* Get the job structure contained in a custom value. */ #define Job_val(v) *(lwt_unix_job *)Data_custom_val(v)