[gcc/devel/autopar_devel] [Ada] Enable literal aspect specifications in Big_Numbers specs

[gcc/devel/autopar_devel] [Ada] Enable literal aspect specifications in Big_Numbers specs

[Giuliano Belinassi]

https://gcc.gnu.org/g:409e93ba874c0dc1916bb1d8c773fd2f8a454575

commit 409e93ba874c0dc1916bb1d8c773fd2f8a454575
Author: Steve Baird <baird@adacore.com>
Date:   Tue Apr 7 16:03:52 2020 -0700

    [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:
---
 gcc/ada/libgnat/a-nbnbin.ads | 4 ++--
 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 581e868b899..e0a905701c2 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 ddfbd7746f7..1e90ffb976c 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