From efd1f4abd15bae0b3c986de7b15d0644169c7c58 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 11 Jun 2020 08:42:01 +0200
Subject: [PATCH] [Cil] fix 'since' tag after rebase

---
 src/kernel_services/ast_queries/cil.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_services/ast_queries/cil.mli b/src/kernel_services/ast_queries/cil.mli
index 3fbba9e4805..16dae549fb4 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
 
-- 
GitLab