[Ada] AI12-0293-1 Remove pragma Assert
authorBob Duff <duff@adacore.com>
Thu, 30 Apr 2020 18:40:26 +0000 (14:40 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 19 Jun 2020 08:17:20 +0000 (04:17 -0400)
commit74d09f3ee936c7e08539beba6f5bb2547b4640b9
treeddfb96dbcec6384d20ca270860592e24de7d14e0
parentb64bea1830d8fa651843f4e5e5c04263746b06af
[Ada] AI12-0293-1 Remove pragma Assert

2020-06-19  Bob Duff  <duff@adacore.com>

gcc/ada/

* libgnat/a-ststbo.adb (Write): Replace pragma Assert with "if
... raise Constraint_Error".
gcc/ada/libgnat/a-ststbo.adb