Attributes are wrapped in the SmPL AST. Reflect these changes in coccilib.mli.
Signed-off-by: Jaskaran Singh <[email protected]> --- ocaml/coccilib.mli | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/ocaml/coccilib.mli b/ocaml/coccilib.mli index 24b5f1ae..010b8aab 100644 --- a/ocaml/coccilib.mli +++ b/ocaml/coccilib.mli @@ -2925,7 +2925,10 @@ module Ast_cocci : | FType of fullType | FInline of string mcode | FAttr of attr - and attr = string mcode + and base_attr = + Ast_cocci.base_attr = + Attribute of string mcode + and attr = base_attr wrap and metaStmtInfo = Ast_cocci.metaStmtInfo = NotSequencible @@ -3553,7 +3556,10 @@ module Ast0_cocci : | FType of typeC | FInline of string mcode | FAttr of attr - and attr = string mcode + and base_attr = + Ast0_cocci.base_attr = + Attribute of string mcode + and attr = base_attr wrap and ('a, 'b) whencode = ('a, 'b) Ast0_cocci.whencode = WhenNot of string mcode * string mcode * 'a -- 2.21.3 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
