Nicolas LELONG wrote: >>No, it's a bug. THanks for the report! > > > You're welcome :) > > >>The enclosed patch should help. > > > It indeed fixes the problem. Have you already included this patch in the > boost cvs ? Of course; no need to ask > Thanks once more for the quick help :) No problem.