exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.
authorBob Duff <duff@adacore.com>
Fri, 22 Aug 2008 13:25:19 +0000 (15:25 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 Aug 2008 13:25:19 +0000 (15:25 +0200)
commitb572daf1c867ae2aef47fab39505cb3073e020fe
treeb0ebbe7a8e0eb6f6869ffe11ef160db9234da9be
parentc56094bda771cc3bc600347812f9fcc211764f67
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
gcc/ada/exp_ch6.ads