aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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";
}