CVS difference for ai12s/ai12-0054-2.txt

--- ai12s/ai12-0054-2.txt	2013/07/06 03:55:05	1.5
+++ ai12s/ai12-0054-2.txt	2013/07/18 05:05:31	1.6
@@ -299,7 +299,7 @@
 @s8<@i<Examples>>
 
 @xcode<@b<subtype> Basic_Letter @b<is> Character -- @ft<@I<See A.3.2 for "basic letter".>>
-   @b<with> Static_Predicate =@> Basic_Letter @b<in> 'A'..'Z' | 'a'..'z' | '@unicode(198)' | '@unicode(230)' | '@unicode(208)' | '@unicode(240)' | '@unicode(222)' | '@unicode(254)' | '@unicode(223)';>
+   @b<with> Static_Predicate =@> Basic_Letter @b<in> 'A'..'Z' | 'a'..'z' | '@unicode<198>' | '@unicode<230>' | '@unicode<208>' | '@unicode<240>' | '@unicode<222>' | '@unicode<254>' | '@unicode<223>';>
 
 @xcode<@b<subtype> Even_Integer @b<is> Integer
    @b<with> Dynamic_Predicate =@> Even_Integer @b<mod> 2 = 0,
@@ -319,11 +319,11 @@
    @b<subtype> Input_File_Type @b<is> Open_File_Type
       @b<with> Dynamic_Predicate =@> Mode (Input_File_Type) = In_File,
            Predicate_Failure =@> @b<raise> Mode_Error @b<with> "Cannot read file: " &
-             Name (Input_File_Type);
+              Name (Input_File_Type);
    @b<subtype> Output_File_Type @b<is> Open_File_Type
       @b<with> Dynamic_Predicate =@> Mode (Output_File_Type) /= In_File,
            Predicate_Failure =@> @b<raise> Mode_Error @b<with> "Cannot write file: " &
-             Name (Output_File_Type);>
+              Name (Output_File_Type);>
 
 @xcode<   ...>