From: Ronan Desplanques <desplanques@adacore.com>
Date: Thu, 28 Nov 2024 10:45:25 +0000 (+0100)
Subject: ada: Remove useless space in ALI P lines
X-Git-Tag: basepoints/gcc-16~3037
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2f7ff43579e814f05389d9766b149c80eb4bfe5d;p=thirdparty%2Fgcc.git

ada: Remove useless space in ALI P lines

The generated ALI files are syntactically unchanged.

gcc/ada/ChangeLog:

	* lib-writ.adb (Write_ALI): Remove useless space.
---

diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb
index 4e7ed5a380a7..992952eed678 100644
--- a/gcc/ada/lib-writ.adb
+++ b/gcc/ada/lib-writ.adb
@@ -1253,7 +1253,6 @@ package body Lib.Writ is
       if Task_Dispatching_Policy /= ' ' then
          Write_Info_Str  (" T");
          Write_Info_Char (Task_Dispatching_Policy);
-         Write_Info_Char (' ');
       end if;
 
       if GNATprove_Mode then