output.ads, output.adb (Write_Eol): Remove trailing spaces before writing the line.
authorVincent Celier <celier@adacore.com>
Tue, 14 Aug 2007 08:48:45 +0000 (10:48 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 14 Aug 2007 08:48:45 +0000 (10:48 +0200)
commitb63e38373ac562255170a83368a892ddfb77c98e
tree1b91a0937992fafbb540af5ea59e26fe87c71d89
parent4993417734d33d95cc9e41bf3db65b869331135e
output.ads, output.adb (Write_Eol): Remove trailing spaces before writing the line.

2007-08-14  Vincent Celier  <celier@adacore.com>

* output.ads, output.adb (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

From-SVN: r127456
gcc/ada/output.adb
gcc/ada/output.ads