Revision 9aaee7f9
added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved
Files
- added
- modified
- copied
- renamed
- deleted
ID | 9aaee7f973c6a66cac4f084ad4cea7319d4a463f |
Parent | 54adb917 |
Child | d96d54ac |
Added by Xavier Thirioux almost 7 years ago
added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved