https://gcc.gnu.org/g:2f7ff43579e814f05389d9766b149c80eb4bfe5d
commit r15-6516-g2f7ff43579e814f05389d9766b149c80eb4bfe5d
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Thu Nov 28 11:45:25 2024 +0100
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:
---
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
