> I would do a diff with my configuration and see if there is anything > different with respect to ocaml.
The software "OCaml 4.02.1-1.2" was provided by a RPM package from my Linux distribution. https://build.opensuse.org/package/show?project=openSUSE%3AFactory&package=ocaml Your tool "spatch 1.0.1" was built on my own here. Where do you imagine to find interesting differences? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
