summaryrefslogtreecommitdiff
path: root/src/tools
diff options
context:
space:
mode:
authorStephen Frost2013-06-01 14:18:59 +0000
committerStephen Frost2013-06-01 14:18:59 +0000
commitc9fc28a7f12e27d530e2657c9dc6080fbfbe8a14 (patch)
treedc8bcd142f05439b29bc416ac9aa70db981280be /src/tools
parent551938ae2284975b53d665fa8a82a7e1f3514dda (diff)
Minor spelling fixes
Fix a few spelling mistakes. Per bug report #8193 from Lajos Veres.
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/pgindent/typedefs.list2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/typedefs.list b/src/tools/pgindent/typedefs.list
index b68a649e415..452235de8af 100644
--- a/src/tools/pgindent/typedefs.list
+++ b/src/tools/pgindent/typedefs.list
@@ -326,6 +326,7 @@ CopyStmt
Cost
CostSelector
Counters
+CoverExt
CoverPos
CreateCastStmt
CreateConversionStmt
@@ -487,7 +488,6 @@ ExtensionBehavior
ExtensionControlFile
ExtensionInfo
ExtensionVersionInfo
-Extention
FDWCollateState
FD_SET
FILE