From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Thu, 9 Apr 2009 12:37:33 +0000 (+0200)
Subject: Minor editing.
X-Git-Tag: releases/gcc-4.5.0~6743
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=47cb314ac35eaf6c6ede550fbc5361e9fc7b15a7;p=thirdparty%2Fgcc.git

Minor editing.

From-SVN: r145835
---

diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index 4de103e6e4cb..06dbc779a4c1 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.
 --