mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
Adjust style in description of Exceptional_Cases and Exit_Cases to match the style of other, previously added aspects; remove reference to "pragma" copied from the GNAT RM.