CVS difference for ais/ai-00381.txt

--- ais/ai-00381.txt	2005/08/21 06:00:36	1.12
+++ ais/ai-00381.txt	2005/10/31 05:18:38	1.13
@@ -1,4 +1,4 @@
-!standard 13.12 (4)                                   05-08-20  AI95-00381/06
+!standard 13.12 (4)                                   05-10-13  AI95-00381/07
 !standard 13.12.1 (1)
 !class amendment 04-06-08
 !status Amendment 200Y 04-06-29
@@ -107,11 +107,11 @@
 !corrigendum 13.12(4)
 
 @drepl
-@xcode<@fa<restriction ::= >@ft<@i<restriction_>>identifier
-   | >@ft<@i<restriction_parameter_>>@fa<identifier => expression>>
+@xcode<@fa<restriction ::= >@ft<@i<restriction_>>@fa<identifier
+   | >@ft<@i<restriction_parameter_>>@fa<identifier =@> expression>>
 @dby
-@xcode<@fa<restriction ::= >@ft<@i<restriction_>>identifier
-   | >@ft<@i<restriction_parameter_>>@fa<identifier => restriction_parameter_argument>>
+@xcode<@fa<restriction ::= >@ft<@i<restriction_>>@fa<identifier
+   | >@ft<@i<restriction_parameter_>>@fa<identifier =@> restriction_parameter_argument>>
 
 @xcode<@fa<restriction_parameter_argument ::= name | expression>>