diff options
author | Bob Duff <duff@adacore.com> | 2008-08-22 15:25:19 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 15:25:19 +0200 |
commit | b572daf1c867ae2aef47fab39505cb3073e020fe (patch) | |
tree | b0ebbe7a8e0eb6f6869ffe11ef160db9234da9be /gcc/ada/exp_ch6.ads | |
parent | c56094bda771cc3bc600347812f9fcc211764f67 (diff) | |
download | gcc-b572daf1c867ae2aef47fab39505cb3073e020fe.zip gcc-b572daf1c867ae2aef47fab39505cb3073e020fe.tar.gz gcc-b572daf1c867ae2aef47fab39505cb3073e020fe.tar.bz2 |
exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.
2008-08-22 Bob Duff <duff@adacore.com>
* exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.
From-SVN: r139458
Diffstat (limited to 'gcc/ada/exp_ch6.ads')
-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 df5b9eb..c470ee3 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. |