On Wed, Nov 14, 2012 at 05:39:12PM +0100, Paolo Carlini wrote:
> +      /* We will already have issued an error message.  */

The wording looks unclear.  Either we have issued already an error message,
or we will issue it.

        Jakub

Reply via email to