diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index e4ff5a53e5fe755048f5c68533f1acb4642dd9d6..188803750abbf75010eb85afff8309cc72264be9 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -60,9 +60,6 @@ do # Convert // comments to /* */ sed 's;^\([ ]*\)//\(.*\)$;\1/* \2 */;g' | -# Avoid bug that converts 'x =- 1' to 'x = -1' - sed 's;=- ;-= ;g' | - # Mark some comments for special treatment later sed 's;/\* *---;/*---X_X;g' |