From: Ronan Desplanques <desplanq...@adacore.com>

gcc/ada/ChangeLog:

        * libgnat/s-valuer.adb (Scan_Raw_Real): Add RM reference.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/libgnat/s-valuer.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/libgnat/s-valuer.adb b/gcc/ada/libgnat/s-valuer.adb
index 4b444c2f8a7..2410b6bd4e1 100644
--- a/gcc/ada/libgnat/s-valuer.adb
+++ b/gcc/ada/libgnat/s-valuer.adb
@@ -604,7 +604,8 @@ package body System.Value_R is
          Bad_Value (Str);
       end if;
 
-      --  Check if the first number encountered is a base
+      --  Check if the first number encountered is a base. ':' is allowed in
+      --  place of '#' in virtue of RM J.2 (3).
 
       pragma Assert (Index >= Str'First);
 
-- 
2.43.0

Reply via email to