From 0baa154ebb0866cbde1977791871b2d5b32b87ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Wed, 26 Jul 2023 09:11:48 +0200 Subject: [PATCH] Update deprecation comment version number --- src/unix/lwt_main.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/unix/lwt_main.mli b/src/unix/lwt_main.mli index 1cb3363e5..3b4f174b7 100644 --- a/src/unix/lwt_main.mli +++ b/src/unix/lwt_main.mli @@ -60,7 +60,7 @@ val abandon_yielded_and_paused : unit -> unit [@@deprecated "Use Lwt.abandon_pau This is meant for use with {!Lwt_unix.fork}, as a way to “abandon” more promise chains that are pending in your process. - @deprecated Since 5.5.1 [abandon_yielded_and_paused] is deprecated in favour + @deprecated Since 5.7 [abandon_yielded_and_paused] is deprecated in favour of [Lwt.abandon_paused]. *)