diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-09 14:37:33 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-09 14:37:33 +0200 |
| commit | 47cb314ac35eaf6c6ede550fbc5361e9fc7b15a7 (patch) | |
| tree | 6008cbe6841fd1035b8d21e23c8d2ac0a43c4442 /gcc/ada | |
| parent | f7d7bb5109d0b302fbbe1c925138fb0766398486 (diff) | |
| download | gcc-47cb314ac35eaf6c6ede550fbc5361e9fc7b15a7.zip gcc-47cb314ac35eaf6c6ede550fbc5361e9fc7b15a7.tar.gz gcc-47cb314ac35eaf6c6ede550fbc5361e9fc7b15a7.tar.bz2 | |
Minor editing.
From-SVN: r145835
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/einfo.ads | 2 |
1 files changed, 1 insertions, 1 deletions
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. -- |