diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 13:25:19 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 13:25:19 +0000 |
| commit | 1521624943c9ae0cb28758bacec7eae1226f1a81 (patch) | |
| tree | b0ebbe7a8e0eb6f6869ffe11ef160db9234da9be /gcc/ada | |
| parent | 96511eab7768c323b482c7386ffa2d9086339e0d (diff) | |
| download | gcc-1521624943c9ae0cb28758bacec7eae1226f1a81.tar.gz | |
2008-08-22 Bob Duff <duff@adacore.com>
* exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139458 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/exp_ch6.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch6.ads b/gcc/ada/exp_ch6.ads index df5b9eb3f71..c470ee329ab 100644 --- a/gcc/ada/exp_ch6.ads +++ b/gcc/ada/exp_ch6.ads @@ -162,7 +162,7 @@ package Exp_Ch6 is -- node applied to such a function call. function Needs_BIP_Final_List (E : Entity_Id) return Boolean; - pragma Precondition (Is_Build_In_Place_Function (E)); + -- ???pragma Precondition (Is_Build_In_Place_Function (E)); -- Ada 2005 (AI-318-02): Returns True if the function needs the -- BIP_Final_List implicit parameter. |