diff --git a/src/neg_tests/lin_tests_thread_ref.ml b/src/neg_tests/lin_tests_thread_ref.ml index b0973dff5..917b997b7 100644 --- a/src/neg_tests/lin_tests_thread_ref.ml +++ b/src/neg_tests/lin_tests_thread_ref.ml @@ -3,7 +3,10 @@ open Lin_tests_common (** This is a driver of the negative ref tests over the Thread module *) module RT_int_thread = Lin_thread.Make_internal(RConf_int) [@alert "-internal"] -module RT_int64_thread = Lin_thread.Make_internal(RConf_int64) [@alert "-internal"] +module RT_int64_thread = Lin_thread.Make_internal(struct + include RConf_int64 + let shrink_cmd = QCheck.Shrink.nil + end ) [@alert "-internal"] ;; if Sys.backend_type = Sys.Bytecode