[Ada] Fix integer-vs-float errors in example for Test_Case pragma
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 27 Nov 2020 14:01:27 +0000 (15:01 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Dec 2020 13:01:01 +0000 (08:01 -0500)
commita0d40c5c325e39f2c9365dafd86850d089eea118
treee2c7e23567e506b5d0b34d6b34d324e52d343351
parentbee916bcc70293a06c42cc11a3682b7663caa7a7
[Ada] Fix integer-vs-float errors in example for Test_Case pragma

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst
(Test_Case): Change integer to float literals.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi