NPE when a builder outputs an empty tuple
It tries to get the first subterm, but this returns null since it’s an empty tuple.
Submitted by Gabriël Konat on 14 December 2012 at 11:19
Issue Log
On 8 January 2013 at 13:10 Eelco Visser tagged esv
On 8 January 2013 at 13:11 Eelco Visser tagged 1.1
On 8 January 2013 at 13:11 Eelco Visser tagged @gohla
On 16 January 2013 at 13:49 Gabriël Konat commented:
Fixed in r25823.
On 16 January 2013 at 13:49 Gabriël Konat closed this issue.
Log in to post comments