*** backend/utils/adt/date.orig	Mon Jul 24 00:31:42 2000
--- backend/utils/adt/date.c	Mon Jul 24 00:33:50 2000
***************
*** 224,230 ****
  	char	   *tzn;
  
  	if (!PointerIsValid(timestamp))
! 		elog(ERROR, "Unable to convert null timestamp to date");
  
  	if (TIMESTAMP_NOT_FINITE(*timestamp))
  		elog(ERROR, "Unable to convert timestamp to date");
--- 224,230 ----
  	char	   *tzn;
  
  	if (!PointerIsValid(timestamp))
! 		return NULL;
  
  	if (TIMESTAMP_NOT_FINITE(*timestamp))
  		elog(ERROR, "Unable to convert timestamp to date");
***************
*** 546,552 ****
  	char	   *tzn;
  
  	if (!PointerIsValid(timestamp))
! 		elog(ERROR, "Unable to convert null timestamp to date");
  
  	if (TIMESTAMP_NOT_FINITE(*timestamp))
  		elog(ERROR, "Unable to convert timestamp to date");
--- 546,552 ----
  	char	   *tzn;
  
  	if (!PointerIsValid(timestamp))
! 		return NULL;
  
  	if (TIMESTAMP_NOT_FINITE(*timestamp))
  		elog(ERROR, "Unable to convert timestamp to date");
***************
*** 793,799 ****
  	char	   *tzn;
  
  	if (!PointerIsValid(timestamp))
! 		elog(ERROR, "Unable to convert null timestamp to date");
  
  	if (TIMESTAMP_NOT_FINITE(*timestamp))
  		elog(ERROR, "Unable to convert timestamp to date");
--- 793,799 ----
  	char	   *tzn;
  
  	if (!PointerIsValid(timestamp))
! 		return NULL;
  
  	if (TIMESTAMP_NOT_FINITE(*timestamp))
  		elog(ERROR, "Unable to convert timestamp to date");