Processing commands for control@bugs.debian.org: > tag 416979 + upstream Bug #416979 [gnat-4.8] Illegal program not detected, RM 7.3(13), 4.9.1(1), nonstatic discriminants Added tag(s) upstream. > thanks Stopping processing here. Please contact me if you need assistance. -- 416979: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=416979 Debian Bug Tracking System Contact owner@bugs.debian.org with problems