[Cil] fix 'since' tag after rebase

efd1f4ab · Andre Maroneze · a044b29c · efd1f4ab
Commit efd1f4ab authored 4 years ago by Andre Maroneze
--- 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