From 2241a25d9ee244383e2bb81d7d84afa41a66b33d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 11 Nov 2019 20:01:21 -0600 Subject: [PATCH] CCIO: use attributes for warnings --- src/core/CCIO.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/core/CCIO.mli b/src/core/CCIO.mli index 6d2bcf48..76f8a9b3 100644 --- a/src/core/CCIO.mli +++ b/src/core/CCIO.mli @@ -69,6 +69,7 @@ val with_in : ?mode:int -> ?flags:open_flag list -> val read_chunks : ?size:int -> in_channel -> string gen (** Read the channel's content into chunks of size [size]. @deprecated use {!read_chunks_gen} instead. *) +[@@ocaml.deprecated "use read_chunks_gen"] val read_chunks_gen : ?size:int -> in_channel -> string gen (** Read the channel's content into chunks of size [size]. @@ -82,6 +83,7 @@ val read_line : in_channel -> string option val read_lines : in_channel -> string gen (** Read all lines. The generator should be traversed only once. @deprecated use {!read_lines_gen} instead. *) +[@@ocaml.deprecated "use read_lines_gen"] val read_lines_gen : in_channel -> string gen (** Read all lines. The generator should be traversed only once.