diff options
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 0d89eafc388..8579cc05d23 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -1462,7 +1462,7 @@ do sed 's;/\*---X_X;/* ---;g' | # workaround indent bug sed 's;^static[ ][ ]*;static ;g' | - sed 's;^} *;} ;' | + sed 's;^} [ ]*;} ;' | # pull in #endif comments sed 's;^#endif[ ][ ]*/\*;#endif /*;' | # work around #else indenting next line if #ifdef defines variables at top |