Next: Aspect Suppress_Initialization, Previous: Aspect SPARK_Mode, Up: Implementation Defined Aspects [Contents][Index]
This boolean aspect is equivalent to pragma Suppress_Debug_Info.