REDU24-Local identifiers never used

Top  Previous  Next

Local identifiers never used (REDU24)

 

This a list of all local identifiers that are declared but never used. It is actually a subset of the REDU1 report section, which reports all identifiers, not only local.

 

 

See also:

 

Reductions