Hi Dmitry, Fixed. Thanks for reporting the issue! - Yang On 08/03/2017 02:42 PM, Dmitry Babokin wrote:
creduce 2.8.0 (2977ca0) clang_delta 2.8.0 Git version: 2977ca0 Reproducer is attached.