diff options
Diffstat (limited to 'lib/bib-check.awk')
| -rw-r--r-- | lib/bib-check.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/bib-check.awk b/lib/bib-check.awk index 4411a55..2adbd60 100644 --- a/lib/bib-check.awk +++ b/lib/bib-check.awk @@ -31,7 +31,7 @@ function problem(key, msg) { BIB_BAD = 1 } -function bib_entry(type, key, n, req, i, alts, na, j, found, t, k) { +function bib_entry(type, key, n, req, i, alts, na, j, found, t) { if (key in BIB_KEYS_SEEN) problem(key, "duplicate key") BIB_KEYS_SEEN[key] = 1 |