Jeremy Harris wrote:
> On 11/03/16 15:05, Martin Preen wrote:
>> But when trying 4.86.2 the result is "Failed: missing or misplaced { or }".
>> I'm fairly sure that the { and } are ok and the result in both versions
>> should be the same.
>
> Sounds like Bug 1807.
> Check again including the commit of 93cc2d6e0530
Worked !!
Thanks a lot.
Martin
----------------------------------------------------------------------
Martin Preen, Universität Freiburg, Institut für Informatik
Georges-Koehler-Allee 52, Raum EG-006, 79110 Freiburg, Germany
phone: ++49 761 203-8250 preen@???
fax: ++49 761 203-8242 swt.informatik.uni-freiburg.de/staff/preen
