If you have the latest version of python, it seems that the above symbol has disappeared. You can get the latest version of Coccinelle from github to resolve the problem.
julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
