AttributeTag is added to the SmPL ASTs. Reflect these changes in coccilib.mli.
Signed-off-by: Jaskaran Singh <[email protected]> --- ocaml/coccilib.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ocaml/coccilib.mli b/ocaml/coccilib.mli index 010b8aab..19f1512c 100644 --- a/ocaml/coccilib.mli +++ b/ocaml/coccilib.mli @@ -3078,6 +3078,7 @@ module Ast_cocci : | ForInfoTag of forinfo | CaseLineTag of case_line | StringFragmentTag of string_fragment + | AttributeTag of attr | ConstVolTag of const_vol | Token of string * info option | Directive of added_string list @@ -3660,6 +3661,7 @@ module Ast0_cocci : | ForInfoTag of forinfo | CaseLineTag of case_line | StringFragmentTag of string_fragment + | AttributeTag of attr | TopTag of top_level | IsoWhenTag of Ast_cocci.when_modifier | IsoWhenTTag of expression -- 2.21.3 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
