CVS difference for ai12s/ai12-0169-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0169-1.txt

--- ai12s/ai12-0169-1.txt	2016/02/16 03:20:41	1.5
+++ ai12s/ai12-0169-1.txt	2016/03/24 04:23:02	1.6
@@ -84,6 +84,25 @@
 something, we left the original proposal as it was (it was reputed to be better
 for SPARK this way).
 
+!corrigendum 9.5.2(5)
+
+@drepl
+@xcode<@fa<entry_body ::= 
+  >@ft<@b<entry>>@fa< defining_identifier entry_body_formal_part entry_barrier >@ft<@b<is>>@fa<
+    declarative_part
+  >@ft<@b<begin>>@fa<
+    handled_sequence_of_statements
+  >@ft<@b<end>>@fa< [>@ft<@i<entry_>>@fa<identifier];>>
+@dby
+@xcode<@fa<entry_body ::= 
+  >@ft<@b<entry>>@fa<  defining_identifier entry_body_formal_part
+    [aspect_specification]
+  entry_barrier >@ft<@b<is>>@fa<
+    declarative_part
+  >@ft<@b<begin>>@fa<
+    handled_sequence_of_statements
+  >@ft<@b<end>>@fa< [>@ft<@i<entry_>>@fa<identifier];>>
+
 !ASIS
 
 No ASIS effect.

Questions? Ask the ACAA Technical Agent