From: Bob Duff Date: Fri, 22 Aug 2008 13:25:19 +0000 (+0200) Subject: exp_ch6.ads: Remove pragma Precondition, since it breaks some builds. X-Git-Tag: releases/gcc-4.4.0~2949 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b572daf1c867ae2aef47fab39505cb3073e020fe;p=thirdparty%2Fgcc.git exp_ch6.ads: Remove pragma Precondition, since it breaks some builds. 2008-08-22 Bob Duff * exp_ch6.ads: Remove pragma Precondition, since it breaks some builds. From-SVN: r139458 --- diff --git a/gcc/ada/exp_ch6.ads b/gcc/ada/exp_ch6.ads index df5b9eb3f71a..c470ee329abd 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.