On Mon, Apr 05, 2010 at 07:57:02PM +0200, Christian PERRIER wrote: > I bet that I'll need to do another CVS snapshot..:-) For iovalue.ml, latest version is indeed 5.9, therefore ok. Perhaps another error indeed. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/