blob: c4a1e0300069f4b0d55836139591eeea3a39bf47 [file] [log] [blame]
pragma SPARK_Mode (On);