On 2007-07-02 22:40:37 +0200, Ralf Wildenhues wrote: > Thanks for your feedback. Does this patch work for you?
Yes, it solves the problem. Thanks. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)