From mboxrd@z Thu Jan  1 00:00:00 1970
From: Tom Tromey <tromey@redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org
Subject: Re: libgcj/3523: java.io.LineNumberReader has a buggy reset() method.
Date: Sun, 01 Jul 2001 22:16:00 -0000
Message-id: <20010702051601.986.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-07/msg00020.html
List-Id: <gcc-prs.sourceware.org>

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