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 4e7ed5a380a7082bc9d3508c288fe9026a5c5456..992952eed678df7dce8272cafa47094f11025bb1 100644 (file)
--- 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