c++/712: bad formatting of warning message

[Gabriel Dos Reis]

Tom Tromey <tromey@redhat.com> writes:

[...]

| Note how the line break occurs after the "`".
| I think that is wrong.

You're absolutely right.  I'll look into that.

Craig, please reopen the issue.  In general, I don't think we should
close PRs because of no feedback, maybe suspended but not closed if
there is no evidence that the problem is not fixed. 

Thanks,

-- Gaby
CodeSourcery, LLC                       http://www.codesourcery.com