From 1d63a8fe4a21d71ab2d8cfb7d1540bdc09d02c29 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Fri, 10 Aug 2018 09:21:46 +0200
Subject: update the 'float' spec; refs #8589

---
 doc/manual.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

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
-- 
cgit 1.4.1-2-gfad0