Processed: retitle 780031
Processing commands for control@bugs.debian.org:
> retitle 780031 [Fixed in 5] result attribute fails in postcondition of generic functions
Bug #780031 [gnat-4.9] gnat-4.9: result attribute fails in postcondition of generic functions
Changed Bug title to '[Fixed in 5] result attribute fails in postcondition of generic functions' from 'gnat-4.9: result attribute fails in postcondition of generic functions'
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
780031: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780031
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: