[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.

diff --git a/gcc/ada/libgnat/a-nbnbin.ads b/gcc/ada/libgnat/a-nbnbin.ads
index 581e868b8991f9b482aa0dc3746ccf4ba60a14ec..e0a905701c24fe3983b66dd237c0ace2d8af339c 100644 (file)
--- 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 ddfbd7746f7e388f5d1ea14f2ea116e84a91832e..1e90ffb976c907fe2d78629cbbff79d34b8e1144 100644 (file)
--- 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