Hi Christoph,

Are you using flambda ?

- Nicolas

2016-11-07 18:07 GMT+01:00 Christoph Höger <christoph.hoeger@tu-berlin.de>:

> I just checked with 4.04beta2 and could not reproduce the problem. So it
> seems to be a 4.03.0 bug, but I could not find anything obviously
> related in the 4.04 changelog.
>
> --
> Christoph Höger
>
> Technische Universität Berlin
> Fakultät IV - Elektrotechnik und Informatik
> Übersetzerbau und Programmiersprachen
>
> Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin
>
> Tel.: +49 (30) 314-24890
> E-Mail: christoph.hoeger@tu-berlin.de
>
>