summaryrefslogtreecommitdiff
path: root/src/tools
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/pgindent/typedefs.list1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/pgindent/typedefs.list b/src/tools/pgindent/typedefs.list
index dfcd619bfee..e3c3523b5b2 100644
--- a/src/tools/pgindent/typedefs.list
+++ b/src/tools/pgindent/typedefs.list
@@ -2927,6 +2927,7 @@ SupportRequestOptimizeWindowClause
SupportRequestRows
SupportRequestSelectivity
SupportRequestSimplify
+SupportRequestSimplifyAggref
SupportRequestWFuncMonotonic
Syn
SyncOps