On Tue, Oct 7, 2008 at 3:24 PM, Roberto Bagnara <bagnara at cs.unipr.it> wrote: > the 0.10pre34 snapshot, available at the usual place, fixes this problem. > Please let us know how it goes. pre34 does fix the problem. Thanks, Sebastian