diff options
| author | Andrew Gierth | 2019-05-11 02:23:55 +0000 |
|---|---|---|
| committer | Andrew Gierth | 2019-05-11 02:23:55 +0000 |
| commit | b721e201a0bcf0f9e1795c295e134e47d698e80c (patch) | |
| tree | b187c3e613276ef5dd8100366a4639ede6a60838 /doc | |
| parent | 064df0edfee91d3843d54d1f67c05a4634690a12 (diff) | |
Fix editing error in floating-point docs.
My fault; the error was introduced in the Ryu patch.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/src/sgml/datatype.sgml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/datatype.sgml b/doc/src/sgml/datatype.sgml index 13b988077a5..fc300f605f9 100644 --- a/doc/src/sgml/datatype.sgml +++ b/doc/src/sgml/datatype.sgml @@ -763,8 +763,8 @@ FROM generate_series(-3.5, 3.5, 1) as x; <note> <para> Applications that wanted precise values have historically had to set - <xref linkend="guc-extra-float-digits"/> to 3 obtain them. For maximum - compatibility between versions, they should continue to do so. + <xref linkend="guc-extra-float-digits"/> to 3 to obtain them. For + maximum compatibility between versions, they should continue to do so. </para> </note> |