aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2020-11-11 03:04:30 +0100
committerJohn Ankarström <john@ankarstrom.se>2020-11-11 03:04:30 +0100
commitca2556067707b9657b6a8c14bad1c6b21a829c36 (patch)
tree9eb15402e730f6c555999dbe92c051c91e9555a6
parent6544282d384e1284b53241c820b17e4f3ad010fe (diff)
downloadrf-ca2556067707b9657b6a8c14bad1c6b21a829c36.tar.gz
fix weak match warning
(I changed the values and forgot to update the warning.)
-rwxr-xr-xrf2
1 files changed, 1 insertions, 1 deletions
diff --git a/rf b/rf
index bf54bb5..1f1b055 100755
--- a/rf
+++ b/rf
@@ -79,7 +79,7 @@ for (@lines) {
print STDERR "Error: Reference '$def' could not be resolved.\n";
exit 1;
}
- if ($points[$winner] < 11) {
+ if ($points[$winner] < 150) {
print STDERR "Warning: Guessing that reference '$def' refers to " . fmt($format_full, $winner) . ".\n";
}