Minor editing.
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 9 Apr 2009 12:37:33 +0000 (14:37 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 9 Apr 2009 12:37:33 +0000 (14:37 +0200)
From-SVN: r145835

gcc/ada/einfo.ads

index 4de103e6e4cb054da0c9eb52c3c0e53b381c0987..06dbc779a4c19be42e70dcea8f987443d7eeb3ed 100644 (file)
@@ -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.
 --