diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/util/def-check.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/def-check.pl b/src/util/def-check.pl index 015d81204..a807e6e45 100644 --- a/src/util/def-check.pl +++ b/src/util/def-check.pl @@ -227,6 +227,7 @@ while (! $d->eof()) { next LINE2; } s/[ \t]*//g; + s/@[0-9]+//; my($xconv); if (/PRIVATE/ || /INTERNAL/) { $xconv = "PRIVATE"; |