]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
make.adb (Gnatmake): Remove extra space in version line
authorVincent Celier <celier@adacore.com>
Wed, 20 Aug 2008 16:11:44 +0000 (18:11 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 20 Aug 2008 16:11:44 +0000 (18:11 +0200)
2008-08-20  Vincent Celier  <celier@adacore.com>

* make.adb (Gnatmake): Remove extra space in version line

From-SVN: r139330

gcc/ada/make.adb

index 89bb4f49655a09e7fc0cac26d0acf58aa5c47916..f73acb5a3203a2c801db764de737c9d02308345e 100644 (file)
@@ -4881,7 +4881,7 @@ package body Make is
 
       if Verbose_Mode then
          Write_Eol;
-         Display_Version ("GNATMAKE ", "1995");
+         Display_Version ("GNATMAKE", "1995");
       end if;
 
       if Main_Project /= No_Project