From 735a817f264755f10817490dc854c836f2ea57f7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 24 Feb 2021 17:03:16 +0100
Subject: [PATCH] [kernel] Add a detail in addAttribute doc
---
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 5bdb0939b7a..df4e0e12389 100644
--- a/src/kernel_services/ast_queries/cil.mli
+++ b/src/kernel_services/ast_queries/cil.mli
@@ -1223,7 +1223,7 @@ val partitionAttributes: default:attributeClass ->
attribute list (* AttrType *)
(** Add an attribute. Maintains the attributes in sorted order of the second
- argument *)
+ argument. The attribute is not added if it is already there. *)
val addAttribute: attribute -> attributes -> attributes
(** Add a list of attributes. Maintains the attributes in sorted order. The
--
GitLab