update the 'float' spec; refs #8589

This commit is contained in:
Andreas Rumpf 2018-08-10 09:21:46 +02:00
commit 1d63a8fe4a

View file

@ -769,8 +769,8 @@ Pre-defined floating point types
The following floating point types are pre-defined: The following floating point types are pre-defined:
``float`` ``float``
the generic floating point type; its size is platform dependent the generic floating point type; its size used to be platform dependent,
(the compiler chooses the processor's fastest floating point type). but now it is always mapped to ``float64``.
This type should be used in general. This type should be used in general.
floatXX floatXX