diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-27 15:01:27 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-16 08:01:01 -0500 |
| commit | a0d40c5c325e39f2c9365dafd86850d089eea118 (patch) | |
| tree | e2c7e23567e506b5d0b34d6b34d324e52d343351 /gcc/ada/doc | |
| parent | bee916bcc70293a06c42cc11a3682b7663caa7a7 (diff) | |
| download | gcc-a0d40c5c325e39f2c9365dafd86850d089eea118.zip gcc-a0d40c5c325e39f2c9365dafd86850d089eea118.tar.gz gcc-a0d40c5c325e39f2c9365dafd86850d089eea118.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index f8a62a5..74b9718 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -6652,8 +6652,8 @@ expression. The following is an example of use within a package spec: function Sqrt (Arg : Float) return Float; pragma Test_Case (Name => "Test 1", Mode => Nominal, - Requires => Arg < 10000, - Ensures => Sqrt'Result < 10); + Requires => Arg < 10000.0, + Ensures => Sqrt'Result < 10.0); ... end Math_Functions; |