1 files changed, 0 insertions, 7 deletions
diff --git a/contrib/pginterface/halt.h b/contrib/pginterface/halt.h
deleted file mode 100644
index cb4ea545b9b..00000000000
--- a/contrib/pginterface/halt.h
+++ /dev/null
@@ -1,7 +0,0 @@
-/*
-** halt.h
-**
-*/
-
-void halt();
-