[Ada] Enable literal aspect specifications in Big_Numbers specs
authorSteve Baird <baird@adacore.com>
Tue, 7 Apr 2020 23:03:52 +0000 (16:03 -0700)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 16 Jun 2020 13:07:16 +0000 (09:07 -0400)
commit0951b918ca3d9a600f6732e985117520f203e501
tree62e9ec4138de997ca9e928438c6aadff3d0c965f
parent82af72916360c4f7b4e38b005e866bde80e7cd2d
[Ada] Enable literal aspect specifications in Big_Numbers specs

2020-06-16  Steve Baird  <baird@adacore.com>

gcc/ada/

* libgnat/a-nbnbin.ads, libgnat/a-nbnbre.ads: Uncomment the
commented-out Integer_Literal aspect specification for type
Big_Integer.
gcc/ada/libgnat/a-nbnbin.ads
gcc/ada/libgnat/a-nbnbre.ads