From 6b7763d1c12bb72556536cfa18cd433e0103fce9 Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Mon, 23 Feb 2004 04:11:10 +0000
Subject: [PATCH] Write #include <dl.h>, not #include "dl.h", to correctly
 reflect the fact that dl.h is a system header and not one of ours.

---
 src/backend/port/dynloader/hpux.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/backend/port/dynloader/hpux.c b/src/backend/port/dynloader/hpux.c
index e8fab7810b..004f547421 100644
--- a/src/backend/port/dynloader/hpux.c
+++ b/src/backend/port/dynloader/hpux.c
@@ -8,7 +8,7 @@
  *
  *
  * IDENTIFICATION
- *	  $PostgreSQL: pgsql/src/backend/port/dynloader/hpux.c,v 1.24 2004/01/04 04:06:37 tgl Exp $
+ *	  $PostgreSQL: pgsql/src/backend/port/dynloader/hpux.c,v 1.25 2004/02/23 04:11:10 tgl Exp $
  *
  *	NOTES
  *		all functions are defined here -- it's impossible to trace the
@@ -20,8 +20,8 @@
 
 /* System includes */
 #include <a.out.h>
+#include <dl.h>
 
-#include "dl.h"
 #include "dynloader.h"
 #include "utils/dynamic_loader.h"