CVS difference for ais/ai-00132.txt

--- ais/ai-00132.txt	2000/04/14 01:45:07	1.6
+++ ais/ai-00132.txt	2000/06/21 23:39:09	1.7
@@ -60,11 +60,11 @@
 
 A.13(13,17) say:
 
-  13   The exception Data_Error can be propagated by the procedure Read (or by
+  The exception Data_Error can be propagated by the procedure Read (or by
   the Read attribute) if the element read cannot be interpreted as a value of
   the required subtype. ...
 
-  17   If the element read by the procedure Read (or by the Read attribute)
+  If the element read by the procedure Read (or by the Read attribute)
   cannot be interpreted as a value of the required subtype, but this is not
   detected and Data_Error is not propagated, then the resulting value can be
   abnormal, and subsequent references to the value can lead to erroneous
@@ -128,7 +128,8 @@
 The programmer can reliably detect end-of-file for file streams as
 follows:
 
-    if not End_Of_File(An_Input_File) then
+  begin
+     if not End_Of_File(An_Input_File) then
         T'Read(Stream(An_Input_File), Value);
         ...
 
@@ -179,11 +180,11 @@
 
 A.13(13,17) say:
 
-  13   The exception Data_Error can be propagated by the procedure Read (or by
+  13  The exception Data_Error can be propagated by the procedure Read (or by
   the Read attribute) if the element read cannot be interpreted as a value of
   the required subtype. ...
 
-  17   If the element read by the procedure Read (or by the Read attribute)
+  17  If the element read by the procedure Read (or by the Read attribute)
   cannot be interpreted as a value of the required subtype, but this is not
   detected and Data_Error is not propagated, then the resulting value can be
   abnormal, and subsequent references to the value can lead to erroneous