On 06/03/2014 11:19, Richard Biener wrote: > > I have reverted the patch for now. > > Richard. That's fine Richard, thanks. I got stuck with another issue in the meantime but I will look at it again very soon. -- Paulo Matos