diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 677a4869cc31cda11dc294c7109b2dcfaf1fb03e..80e116f789b65dcfaa0a2c2df6cd6e586af9ec1f 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