From 47cb314ac35eaf6c6ede550fbc5361e9fc7b15a7 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 9 Apr 2009 14:37:33 +0200 Subject: Minor editing. From-SVN: r145835 --- gcc/ada/einfo.ads | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 4de103e..06dbc779 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -2236,7 +2236,7 @@ package Einfo is -- The purpose of this flag is to implement the requirement stated -- in (RM 13.9.1(9-11)) which require that the use of possibly invalid -- values may not cause programs to become erroneous. See the function --- Exp_Util.Expr_Known_Valid for further details. Note that the setting +-- Checks.Expr_Known_Valid for further details. Note that the setting -- is conservative, in the sense that if the flag is set, it must be -- right. If the flag is not set, nothing is known about the validity. -- -- cgit v1.1