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 677a4869cc3..80e116f789b 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -1459,7 +1459,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 |