@@ -1,7 +1,7 @@
int main(int, char*[])
{
int i;
- for(int i=0; i < 1; ++i) ;
+ for(int i=0; i < 1; ++i);
+ (void)i;
return 0;
}
-