diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-09 12:37:33 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-09 12:37:33 +0000 |
| commit | 95d1d545e83f24563e6ada37773205cbcf441b73 (patch) | |
| tree | 6008cbe6841fd1035b8d21e23c8d2ac0a43c4442 | |
| parent | 5e81d637e7e85407f3e10d890f2cc1328aa4fdd7 (diff) | |
| download | gcc-95d1d545e83f24563e6ada37773205cbcf441b73.tar.gz | |
Minor editing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145835 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 4de103e6e4c..06dbc779a4c 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. -- |