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'.

src/backend/utils/adt/format_type.c

@@ -8,7 +8,7 @@
  * Portions Copyright (c) 1994, Regents of the University of California
  *
  * IDENTIFICATION
- *	  $Header: /cvsroot/pgsql/src/backend/utils/adt/format_type.c,v 1.8 2001/01/24 19:43:13 momjian Exp $
+ *	  $Header: /cvsroot/pgsql/src/backend/utils/adt/format_type.c,v 1.9 2001/02/05 17:35:04 petere Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -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)",