Parameter attributes are added to the SmPL AST. Reflect these changes in index.ml.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_cocci/index.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/parsing_cocci/index.ml b/parsing_cocci/index.ml index f7ae48b4..1baeb2bb 100644 --- a/parsing_cocci/index.ml +++ b/parsing_cocci/index.ml @@ -157,8 +157,8 @@ let initialiser i = let parameterTypeDef p = match Ast0.unwrap p with - Ast0.VoidParam(ty) -> [59] - | Ast0.Param(ty,id) -> [60] + Ast0.VoidParam(ty,attr) -> [59] + | Ast0.Param(ty,id,attr) -> [60] | Ast0.MetaParam(name,_,_) -> [61] | Ast0.MetaParamList(name,_,_,_) -> [62] | Ast0.PComma(cm) -> [63] -- 2.21.1 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
