Parameter attributes are added to the SmPL AST. Reflect these changes in
coccilib.mli.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
---
ocaml/coccilib.mli | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/ocaml/coccilib.mli b/ocaml/coccilib.mli
index 0e807c9a..59c58aea 100644
--- a/ocaml/coccilib.mli
+++ b/ocaml/coccilib.mli
@@ -2825,8 +2825,8 @@ module Ast_cocci :
and initialiser = base_initialiser wrap
and base_parameterTypeDef =
Ast_cocci.base_parameterTypeDef =
- VoidParam of fullType
- | Param of fullType * ident option
+ VoidParam of fullType * attr list
+ | Param of fullType * ident option * attr list
| MetaParam of meta_name mcode * constraints * keep_binding * inherited
| MetaParamList of meta_name mcode * listlen * constraints *
keep_binding * inherited
@@ -3455,8 +3455,8 @@ module Ast0_cocci :
and initialiser_list = initialiser dots
and base_parameterTypeDef =
Ast0_cocci.base_parameterTypeDef =
- VoidParam of typeC
- | Param of typeC * ident option
+ VoidParam of typeC * attr list
+ | Param of typeC * ident option * attr list
| MetaParam of Ast_cocci.meta_name mcode * constraints * pure
| MetaParamList of Ast_cocci.meta_name mcode * listlen * constraints *
pure
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
