libgcj/3523: java.io.LineNumberReader has a buggy reset() method.

[Tom Tromey]

The following reply was made to PR libgcj/3523; it has been noted by GNATS.

From: Tom Tromey <tromey@redhat.com>
To: jwnimmer@alum.mit.edu
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: libgcj/3523: java.io.LineNumberReader has a buggy reset() method.
Date: 01 Jul 2001 23:34:25 -0600

 >>>>> "Jeremy" == jwnimmer  <jwnimmer@alum.mit.edu> writes:
 
 Jeremy> -       lineNumber -= countLines(buffer, pos, markPos);
 Jeremy> +       lineNumber -= countLines(buffer, markPos, pos-markPos);
 
 I agree this is correct.
 I am going to check it in and close the PR.
 Thanks for finding and fixing this.
 
 Tom