Do you have any suggestion for a workaround?

Can you upgrade to 4.06?  I also have this problem with 4.05.

Thanks for the suggestion. OCaml 4.05 was indeed the problem. I upgraded to 4.07 and that worked fine. I also had the chance to check on configurations with OCaml 4.01.0 and 4.02.3, which also work as expected.

Just out of curiosity, when I run the included tests with:
./spatch.opt --testall
I get a score of: good = 529/552.
Is that the expected outcome or is something not working correctly?

Cheers,
Oliver
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to