Next: Aspect Test_Case, Previous: Aspect SPARK_Mode, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Suppress_Debug_Info.
Suppress_Debug_Info