Hi Thomas,

I see a double space in

! { dg-do  run }

Is this intended? If yes, it should probably be documented, otherwise it should 
be fixed.

TIA

Dominique

Reply via email to