Fix incorrect example of to_timestamp() usage.

Must use HH24 not HH to read a hour value exceeding 12.

This was already fixed in HEAD in commit d3cd36a13, but I didn't think
of backpatching it.

Report: https://postgr.es/m/20161229170043[email protected]

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index ee8a1078cb1d89c4faf6089799af5869173c88a4..2d11f5cc63921ea442e5adf61eff82c27e2e60e3 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -5945,7 +5945,7 @@ SELECT regexp_matches('abc01234xyz', '(?:(.*?)(\d+)(.*)){1,1}');
       
        Here is a more
        complex example:
-       to_timestamp('15:12:02.020.001230', 'HH:MI:SS.MS.US')
+       to_timestamp('15:12:02.020.001230', 'HH24:MI:SS.MS.US')
        is 15 hours, 12 minutes, and 2 seconds + 20 milliseconds +
        1230 microseconds = 2.021230 seconds.