From 42f74f49367bee1d3da28c4b383faec29364f320 Mon Sep 17 00:00:00 2001
From: Tom Lane
Date: Wed, 25 Dec 2019 14:45:57 -0500
Subject: Remove equalPartitionDescs().

This is dead code in the wake of the previous commit.
We can always add it back if we need it again someday.

Discussion: https://postgr.es/m/CA+HiwqFUzjfj9HEsJtYWcr1SgQ_=iCAvQ=O2Sx6aQxoDu4OiHw@mail.gmail.com
---
 src/include/partitioning/partdesc.h | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/include')

diff --git a/src/include/partitioning/partdesc.h b/src/include/partitioning/partdesc.h
index 825bdd76ab5..23be527a5a4 100644
--- a/src/include/partitioning/partdesc.h
+++ b/src/include/partitioning/partdesc.h
@@ -38,7 +38,4 @@ extern void DestroyPartitionDirectory(PartitionDirectory pdir);
 
 extern Oid	get_default_oid_from_partdesc(PartitionDesc partdesc);
 
-extern bool equalPartitionDescs(PartitionKey key, PartitionDesc partdesc1,
-								PartitionDesc partdesc2);
-
 #endif							/* PARTCACHE_H */
-- 
cgit v1.2.3