CVS difference for ai05s/ai05-0031-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai05s/ai05-0031-1.txt

--- ai05s/ai05-0031-1.txt	2010/04/05 22:33:59	1.6
+++ ai05s/ai05-0031-1.txt	2010/04/08 03:18:24	1.7
@@ -171,12 +171,8 @@
 @dby
 Equivalent to Find_Token (Source, Set, Source'First, Test, First, Last).
 
-AARM Ramification:
-If Source'First is not in Positive, which can only happen for an empty string,
-this will raise Constraint_Error.
+!corrigendum A.4.4(51)
 
-!corrigendum A.4.4(51);
-
 @dinsb
 @xcode<@b<procedure> Find_Token (Source : @b<in> Bounded_String;
                       Set    : @b<in> Maps.Character_Set;
@@ -191,7 +187,7 @@
                       First  : @b<out> Positive;
                       Last   : @b<out> Natural);>
 
-!corrigendum A.4.5(46);
+!corrigendum A.4.5(46)
 
 @dinsb
 @xcode<@b<procedure> Find_Token (Source : @b<in> Unbounded_String;

Questions? Ask the ACAA Technical Agent