diff options
| -rw-r--r-- | gcc/ada/lib-writ.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb index 4e7ed5a..992952e 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 |