summaryrefslogtreecommitdiffhomepage
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/getcls.awk2
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 == "/")