From 3401f28c3443f0eb82710ffadf3ede2a3ad280ee Mon Sep 17 00:00:00 2001 From: Anton Bachin Date: Thu, 14 Feb 2019 11:36:46 -0600 Subject: [PATCH] Lwt_sequence: point people to lwt-dllist Part of #361. --- src/core/lwt_sequence.mli | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/core/lwt_sequence.mli b/src/core/lwt_sequence.mli index c30ab6fdca..613a05b989 100644 --- a/src/core/lwt_sequence.mli +++ b/src/core/lwt_sequence.mli @@ -14,13 +14,13 @@ - removing an element while the sequence is being transversed. @deprecated This module should be an internal implementation detail of Lwt, - and may be removed from the API at some point in the future. Use any other - doubly-linked list library as an alternative. + and may be removed from the API at some point in the future. Use package + {{:https://github.com/mirage/lwt-dllist} [lwt-dllist]} instead. *) [@@@ocaml.deprecated -" This module is an implementation detail of Lwt. See - https://github.com/ocsigen/lwt/issues/361"] +" Use package lwt-dllist. See + https://github.com/mirage/lwt-dllist"] type 'a t (** Type of a sequence holding values of type ['a] *)