diff options
-rwxr-xr-x | rf | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -80,7 +80,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"; } |