MetaAttribute is added to the SmPL AST. Reflect these changes in pretty_print_cocci.ml.
Signed-off-by: Jaskaran Singh <jaskaran.si...@collabora.com> --- parsing_cocci/pretty_print_cocci.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/parsing_cocci/pretty_print_cocci.ml b/parsing_cocci/pretty_print_cocci.ml index fe54a8d61..c4de73f1f 100644 --- a/parsing_cocci/pretty_print_cocci.ml +++ b/parsing_cocci/pretty_print_cocci.ml @@ -458,6 +458,7 @@ and print_attribute_list attrs = and print_attribute attr = match Ast.unwrap attr with Ast.Attribute(a) -> mcode print_string a + | Ast.MetaAttribute(name,_,_,_) -> mcode print_meta name and typeC ty = match Ast.unwrap ty with -- 2.21.3 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci