diff options
| author | Peter Eisentraut | 2017-03-01 16:55:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2017-03-01 16:55:28 +0000 |
| commit | 20f6d74242b3c9c84924e890248d027d30283e21 (patch) | |
| tree | 5cc92ffb6ef7830ba9f6dbada7c109da9b07f60e /src/include | |
| parent | 788af6f8541d5f30acec540e4fd3cb24f5347209 (diff) | |
Collect duplicate copies of oid_cmp()
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/utils/builtins.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/utils/builtins.h b/src/include/utils/builtins.h index 5bdca8203d..1435a7b57a 100644 --- a/src/include/utils/builtins.h +++ b/src/include/utils/builtins.h @@ -67,6 +67,7 @@ extern int float8_cmp_internal(float8 a, float8 b); /* oid.c */ extern oidvector *buildoidvector(const Oid *oids, int n); extern Oid oidparse(Node *node); +extern int oid_cmp(const void *p1, const void *p2); /* regexp.c */ extern char *regexp_fixed_prefix(text *text_re, bool case_insensitive, |