Dump/display 'timestamp' as 'timestamp with time zone', to make room for a

future 'timestamp without time zone', which SQL claims is equivalent to
plain 'timestamp'.

diff --git a/src/backend/utils/adt/format_type.c b/src/backend/utils/adt/format_type.c
index 24d8547aa65827ab246001b9ade7d6c1283cf3e3..305e68c654890e4c0a64c6d589b7572caf17b069 100644 (file)
--- a/src/backend/utils/adt/format_type.c
+++ b/src/backend/utils/adt/format_type.c
@@ -175,6 +175,10 @@ format_type_internal(Oid type_oid, int32 typemod)
                        buf = pstrdup("time with time zone");
                        break;
 
+               case TIMESTAMPOID:
+                       buf = pstrdup("timestamp with time zone");
+                       break;
+
                case VARBITOID:
                        if (with_typemod)
                                buf = psnprintf(13 + MAX_INT32_LEN + 1, "bit varying(%d)",