Hi Nicolas,

Thanks for reporting the bug.

I think the issue has been fixed in the Git head.

- Yang

On 04/18/2017 02:19 AM, Nicolas Thery wrote:

Hello,

Thanks for creduce that is very useful.

FWIW I hit the attached bug when reducing some C++11 code.

Best regards,

Nicolas


Reply via email to