From 2f7ff43579e814f05389d9766b149c80eb4bfe5d Mon Sep 17 00:00:00 2001
From: Ronan Desplanques <desplanques@adacore.com>
Date: Thu, 28 Nov 2024 11:45:25 +0100
Subject: [PATCH] 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.
---
 gcc/ada/lib-writ.adb | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.47.3