die if !$redundant;
my $saved=eval($addr)+1-eval($redundant_addr);
$saved_total+=$saved;
- print "saved=$saved:\n$redundant_textsaved_total=$saved_total\n\n" if !$quiet;
+ print "saved=$saved:\n${redundant_text}saved_total=$saved_total\n\n" if !$quiet;
$redundant=0;
}
while (<F>) {