Next: , Previous: Aspect SPARK_Mode, Up: Implementation Defined Aspects


Aspect Suppress_Debug_Info

This boolean aspect is equivalent to pragma Suppress_Debug_Info.