[Bug c++/56725] extra spaces in error message

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56725

--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-27 20:30:36 UTC ---
Ok, thanks a lot again. Then however we have to tweak a bit that comment too
(it only  mentions warnings for true, instead means any diagnostics is actually
reported (that's much better!))