From a458fd128b05cbe6c0343c2da3d10b9a57bb5756 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 15 Aug 2018 06:41:38 +0200
Subject: Add comment.

---
 src/grt/grt-files.adb | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/grt')

diff --git a/src/grt/grt-files.adb b/src/grt/grt-files.adb
index c23724e7f..3e8e12165 100644
--- a/src/grt/grt-files.adb
+++ b/src/grt/grt-files.adb
@@ -174,6 +174,7 @@ package body Grt.Files is
    begin
       Stream := Get_File (File);
 
+      --  LRM93 3.4.1 File Operations
       --  LRM08 5.5.2 File Operations
       --  It is an error if ENDFILE is called on a file object that is not
       --  open.
@@ -181,6 +182,7 @@ package body Grt.Files is
          Error_Call_Stack ("endfile with a non-opened file", 1);
       end if;
 
+      --  LRM93 3.4.1 File Operations
       --  LRM08 5.5.2 File Operations
       --  Function ENDFILE always returns TRUE for an open file object whose
       --  access mode is write-only.
-- 
cgit v1.2.3