Spinroot

KeesPronk

Member

Registered: 2011-01-04

Posts: 12

strange warning

When I run ' spin -v for.pml' on the following program:

int i;           
init{
    for (i : 5 .. 8) {printf(" %d \n", i)}
};

Spin gives me the following , somewhat unexpected, warning:

spin -v for.pml
spin: warning, for.pml, global, 'int   i' variable is never used

Kees

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: strange warning

ah -- a hidden use of 'i'
will be fixed in the next release
thanks!

Jed

Member

Registered: 2011-09-22

Posts: 1

Re: strange warning

[quote=spinroot]ah -- a hidden use of 'i'
will be fixed in the next release
thanks![/quote]

"A hidden use of 'i'" I love it. Who says we don't have a sense of humor!