Technical Corrigendum for Ada 2012 published by ISO
The first update to Ada 2012, a Technical Corrigendum, has completed the standardization process and has been published by ISO. The new document, ISO/IEC 8652:2012/Cor 1:2016, consists of corrections to the Ada 2012 Standard. Some of the corrections include minor new features, such as raise expressions, and aspects Predicate_Failure and Exclusive_Functions. Since the Corrigendum is purely a correction document, its publication does not create a new Ada version; Ada 2012 is modified to include these changes.