The SmPL AST visitor has a function for attributes. Reflect these changes in popltoctl.ml.
Signed-off-by: Jaskaran Singh <[email protected]> --- popl09/popltoctl.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/popl09/popltoctl.ml b/popl09/popltoctl.ml index 1b05a762..da278168 100644 --- a/popl09/popltoctl.ml +++ b/popl09/popltoctl.ml @@ -48,7 +48,7 @@ let contains_modif = do_nothing do_nothing do_nothing do_nothing do_nothing do_nothing do_nothing do_nothing do_nothing do_nothing do_nothing rule_elem do_nothing do_nothing do_nothing - do_nothing in + do_nothing do_nothing in recursor.V.combiner_rule_elem let ctl_exists keep_wit v x = -- 2.21.3 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
