[Ada] Add ghost code version of Ada.Numerics.Big_Numbers.Big_Integers
authorJohannes Kliemann <kliemann@adacore.com>
Thu, 30 Sep 2021 11:41:13 +0000 (13:41 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 20 Oct 2021 10:17:04 +0000 (10:17 +0000)
commit0f074aa4aa248e9602765155acff57604c1d9778
treeecbd11df4ca164c2a6b0328085d60781cdb1085e
parent2aa814cb27fe3f61adfe894d52f01a4c377263fe
[Ada] Add ghost code version of Ada.Numerics.Big_Numbers.Big_Integers

gcc/ada/

* libgnat/a-nbnbin__ghost.ads: Add ghost package.
gcc/ada/libgnat/a-nbnbin__ghost.ads [new file with mode: 0644]