cleanup.

diff --git a/src/PGINDENT b/src/PGINDENT
index 8b98e51a67d805754660c2744d89995be46d3493..131ec83a87acf083b99c00508920185ecae41a32 100644 (file)
--- a/src/PGINDENT
+++ b/src/PGINDENT
@@ -18,7 +18,7 @@ do
        sed 's;/\*  *---;/*---X_X;g' |
        detab -t4 -qc >/tmp/$$a
        indent -bad -bap -bbb -bc -bl -d0 -cdb -nce -cli1 -di16 -nfc1 \
-               -lp -nip -nbc -psl -di1 -i4 -l75 /tmp/$$a >/tmp/$$ 2>&1
+               -lp -nip -nbc -psl -di1 -i4 -l75 -npro /tmp/$$a >/tmp/$$ 2>&1
        if [ "$?" -ne 0 -o -s /tmp/$$ ]
        then    echo "$FILE"
                cat /tmp/$$