From 0951b918ca3d9a600f6732e985117520f203e501 Mon Sep 17 00:00:00 2001 From: Steve Baird Date: Tue, 7 Apr 2020 16:03:52 -0700 Subject: [PATCH] [Ada] Enable literal aspect specifications in Big_Numbers specs 2020-06-16 Steve Baird 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 | 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 -- 2.30.2