CVS difference for ais/ai-00262.txt

--- ais/ai-00262.txt	2003/03/04 04:56:22	1.17
+++ ais/ai-00262.txt	2004/01/23 04:59:25	1.18
@@ -57,7 +57,7 @@
 
 Change 10.1.2(4):
 
-    with_clause ::= [private] with library_unit_name {, library_unit_name}
+    with_clause ::= [private] with library_unit_name {, library_unit_name};
 
 Change 10.1.2(8):
 
@@ -208,9 +208,9 @@
 !corrigendum 10.1.2(04)
 
 @drepl
-@xcode<@fa<with_clause ::= >@ft<@b<with> @i<library_unit_>>@fa<name {, >@ft<@i<library_unit_>>@fa<name}>>
+@xcode<@fa<with_clause ::= >@ft<@b<with> @i<library_unit_>>@fa<name {, >@ft<@i<library_unit_>>@fa<name};>>
 @dby
-@xcode<@fa<with_clause ::= [>@ft<@b<private>>@fa<] >@ft<@b<with> @i<library_unit_>>@fa<name {, >@ft<@i<library_unit_>>@fa<name}>>
+@xcode<@fa<with_clause ::= [>@ft<@b<private>>@fa<] >@ft<@b<with> @i<library_unit_>>@fa<name {, >@ft<@i<library_unit_>>@fa<name};>>
 
 !corrigendum 10.1.2(08)