From bf15e88f0c4f4345b500573af030a66a70795cef Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 25 Sep 2021 20:58:31 -0400 Subject: [PATCH] fix doc --- src/core/CCOpt.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/src/core/CCOpt.mli b/src/core/CCOpt.mli index 60d39aab..b690e000 100644 --- a/src/core/CCOpt.mli +++ b/src/core/CCOpt.mli @@ -1,5 +1,6 @@ (** Option module @deprecated use `CCOption` instead. *) + [@@@ocaml.deprecated "use CCOption instead"] include module type of CCOption