CVS difference for ais/ai-00132.txt

--- ais/ai-00132.txt	2000/07/13 04:31:28	1.8
+++ ais/ai-00132.txt	2000/07/15 02:29:58	1.9
@@ -128,12 +128,11 @@
 The programmer can reliably detect end-of-file for file streams as
 follows:
 
-  begin
+     <<Start_Example>>
      if not End_Of_File(An_Input_File) then
         T'Read(Stream(An_Input_File), Value);
         ...
      end if;
-  end;
 
 !corrigendum 13.13.2(35)