CVS difference for ais/ai-00262.txt

--- ais/ai-00262.txt	2003/01/24 04:14:27	1.16
+++ ais/ai-00262.txt	2003/03/04 04:56:22	1.17
@@ -208,9 +208,9 @@
 !corrigendum 10.1.2(04)
 
 @drepl
-@xindent<@fa<with_clause ::= @b<with> @i<library_unit_>name {, @i<library_unit_>name}>>
+@xcode<@fa<with_clause ::= >@ft<@b<with> @i<library_unit_>>@fa<name {, >@ft<@i<library_unit_>>@fa<name}>>
 @dby
-@xindent<@fa<with_clause ::= [@b<private>] @b<with> @i<library_unit_>name {, @i<library_unit_>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)