Skip to content
Snippets Groups Projects
Commit 735a817f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[kernel] Add a detail in addAttribute doc

parent 9630563e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/ast_queries/cil.mli
+ 1
− 1
View file @ 735a817f
...@@ -1223,7 +1223,7 @@ val partitionAttributes: default:attributeClass -> ...@@ -1223,7 +1223,7 @@ val partitionAttributes: default:attributeClass ->
attribute list (* AttrType *) attribute list (* AttrType *)
(** Add an attribute. Maintains the attributes in sorted order of the second (** 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 val addAttribute: attribute -> attributes -> attributes
(** Add a list of attributes. Maintains the attributes in sorted order. The (** Add a list of attributes. Maintains the attributes in sorted order. The
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment