(Write_Eol): Remove trailing spaces before writing the line
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 14 Aug 2007 09:04:48 +0000 (11:04 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 14 Aug 2007 09:04:48 +0000 (11:04 +0200)
commit762031177e3e03ef37f8c1fb6c928bed3538bf7e
tree1bb18a3351cde0d151dc453c8ac38ac9ba936995
parentda15c1cd888129d937bd2ddaff35803bfbf56676
(Write_Eol): Remove trailing spaces before writing the line

(Write_Eol): Remove trailing spaces before writing the line
(Write_Eol_Keep_Blanks): New procedure to write a line, including
possible trailing spaces.
(Output_Source_Line): Call Write_Eol_Keep_Blanks to output a source line
Fix problem with suppressing warning messages from back end
Improve handling of deleted warnings

From-SVN: r127474
gcc/ada/errout.adb