From a8bcbb0e3daf723b3d0fb88bfc78719094ae1c1a Mon Sep 17 00:00:00 2001 From: Fardale Date: Thu, 23 Jul 2020 00:02:48 +0200 Subject: [PATCH] chore(CCHeap): drop old comment --- src/core/CCHeap.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/core/CCHeap.ml b/src/core/CCHeap.ml index 7eba186c..8042e03f 100644 --- a/src/core/CCHeap.ml +++ b/src/core/CCHeap.ml @@ -149,11 +149,7 @@ module type S = sig val size : t -> int (** Number of elements (linear complexity). *) - (** {2 Conversions} - - The interface of [of_gen], [of_iter] - has changed since 0.16 (the old signatures - are now [add_seq], [add_gen]). *) + (** {2 Conversions} *) val to_list : t -> elt list (** Return the elements of the heap, in no particular order. *)