diff options
| author | Steve Baird <baird@adacore.com> | 2020-04-07 16:03:52 -0700 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-16 09:07:16 -0400 |
| commit | 0951b918ca3d9a600f6732e985117520f203e501 (patch) | |
| tree | 62e9ec4138de997ca9e928438c6aadff3d0c965f /gcc/ada/libgnat | |
| parent | 82af72916360c4f7b4e38b005e866bde80e7cd2d (diff) | |
| download | gcc-0951b918ca3d9a600f6732e985117520f203e501.zip gcc-0951b918ca3d9a600f6732e985117520f203e501.tar.gz gcc-0951b918ca3d9a600f6732e985117520f203e501.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/libgnat')
| -rw-r--r-- | gcc/ada/libgnat/a-nbnbin.ads | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-nbnbre.ads | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/libgnat/a-nbnbin.ads b/gcc/ada/libgnat/a-nbnbin.ads index 581e868..e0a9057 100644 --- a/gcc/ada/libgnat/a-nbnbin.ads +++ b/gcc/ada/libgnat/a-nbnbin.ads @@ -27,8 +27,8 @@ package Ada.Numerics.Big_Numbers.Big_Integers with Preelaborate is type Big_Integer is private with - -- Integer_Literal => From_String, - Put_Image => Put_Image; + Integer_Literal => From_String, + Put_Image => Put_Image; function Is_Valid (Arg : Big_Integer) return Boolean with Convention => Intrinsic; diff --git a/gcc/ada/libgnat/a-nbnbre.ads b/gcc/ada/libgnat/a-nbnbre.ads index ddfbd77..1e90ffb 100644 --- a/gcc/ada/libgnat/a-nbnbre.ads +++ b/gcc/ada/libgnat/a-nbnbre.ads @@ -26,7 +26,7 @@ package Ada.Numerics.Big_Numbers.Big_Reals with Preelaborate is type Big_Real is private with --- Real_Literal => From_String, + Real_Literal => From_String, Put_Image => Put_Image; function Is_Valid (Arg : Big_Real) return Boolean |