diff --git a/src/kernel_services/ast_queries/cil.mli b/src/kernel_services/ast_queries/cil.mli
index 3fbba9e4805e19141bcb5e42bffdeab5aba9c578..16dae549fb4dd7a16f26e3e882bc34b7cc5967c9 100644
--- a/src/kernel_services/ast_queries/cil.mli
+++ b/src/kernel_services/ast_queries/cil.mli
@@ -1216,7 +1216,7 @@ val dropAttributes: string list -> attributes -> attributes
 
 (** A block marked with this attribute is known to be a ghost else.
 
-    @since 19.0-Potassium+dev
+    @since 21.0-Scandium
 *)
 val frama_c_ghost_else: string