From 84fcbc05915858efa2ad1dc9942d6e7d59242a58 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 6 Mar 2024 14:59:28 +0000
Subject: [PATCH] [doc] Better has_fc_builtin_attr description
---
src/kernel_services/ast_queries/cil_builtins.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/cil_builtins.mli b/src/kernel_services/ast_queries/cil_builtins.mli
index c37b7e41c86..45b02173c47 100644
--- a/src/kernel_services/ast_queries/cil_builtins.mli
+++ b/src/kernel_services/ast_queries/cil_builtins.mli
@@ -62,7 +62,7 @@ val is_builtin: varinfo -> bool
@since Fluorine-20130401 *)
val has_fc_builtin_attr: varinfo -> bool
-(** @return true if the given variable refers to a Frama-C builtin.
+(** @return true if the given variable has a FC_BUILTIN attribute
@since Frama-C+dev *)
val is_unused_builtin: varinfo -> bool
--
GitLab