diff options
| -rw-r--r-- | doc/manual.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.rst b/doc/manual.rst index 7aeec7390..c0cde5140 100644 --- a/doc/manual.rst +++ b/doc/manual.rst @@ -769,8 +769,8 @@ Pre-defined floating point types The following floating point types are pre-defined: ``float`` - the generic floating point type; its size is platform dependent - (the compiler chooses the processor's fastest floating point type). + the generic floating point type; its size used to be platform dependent, + but now it is always mapped to ``float64``. This type should be used in general. floatXX |