On Nov 5, 2013, at 1:45 PM, Oleg Endo <oleg.e...@t-online.de> wrote:
> You're right,  it's redundant.  It should be just
> /* { dg-do compile } */
> 
> shouldn't it?

Yup, that's my take.

> I can change that before committing, no problem.

Thanks.

Reply via email to