On 7 mars 2012, at 11:55, Damien Doligez wrote:
Thanks, it did work indeed (and I've reported this upstream to the godi list).
Alan
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-listBeginner's list:
http://groups.yahoo.com/group/ocaml_beginnersBug reports:
http://caml.inria.fr/bin/caml-bugs