diff options
Diffstat (limited to 'Src/makepro.awk')
| -rw-r--r-- | Src/makepro.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Src/makepro.awk b/Src/makepro.awk index 0d53c5850..56c4f4595 100644 --- a/Src/makepro.awk +++ b/Src/makepro.awk @@ -131,8 +131,8 @@ BEGIN { sub(/@-.*$/, "", dnam) # Put parens etc. back - gsub(/@[{]/, " _((", dcltor) - gsub(/@}/, "))", dcltor) + gsub(/@[{]/, " (", dcltor) + gsub(/@}/, ")", dcltor) gsub(/@</, "(", dcltor) gsub(/@>/, ")", dcltor) gsub(/@!/, ",", dcltor) |