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