I think I can get rid of the reliance on dump for normal execution. It won't solve the problem, but it should avoid it.
julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
