Re: New patch for Ciao Prolog 1.10