From 16576e8838962fa64182760b1807eda26379f84e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 24 Sep 2021 14:36:53 -0400
Subject: [PATCH] Update src/core/CCOpt.mli

---
 src/core/CCOpt.mli | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/core/CCOpt.mli b/src/core/CCOpt.mli
index 04133e09..60d39aab 100644
--- a/src/core/CCOpt.mli
+++ b/src/core/CCOpt.mli
@@ -1,3 +1,5 @@
+(** Option module
+    @deprecated use `CCOption` instead. *)
 [@@@ocaml.deprecated "use CCOption instead"]
 
 include module type of CCOption