Arnaud Charlet 8d044261b2 Do not kill warning on K which is always set. ...

git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@135835 936e1b1b-40f2-da11-902a-00137254ae57

2009-01-20 09:23:50 +00:00

..

except.ads

…

input.adb

…

input.ads

…

screen_output.adb

…

screen_output.ads

…

sdc.adb

…

sdc.ads

…

stack.adb

…

stack.ads

…