diff options
Diffstat (limited to 'scripts/getcls.awk')
| -rw-r--r-- | scripts/getcls.awk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/getcls.awk b/scripts/getcls.awk index 5bf3219..a37f927 100644 --- a/scripts/getcls.awk +++ b/scripts/getcls.awk @@ -8,6 +8,8 @@ function getcls(c) return "nifc" if (c == "O") return "have-nifc" + if (c == "@") + return "have-proof" if (c == "?") return "unknown" if (c == "/") |