Merge branch 'mr/jicquel/#58.add-space' into 'master'

Add a space between the prefix and the exception with GNATCOLL.Traces See merge request eng/toolchain/gnatcoll-core!102
AdaCore · May 22, 2024 · 89d21e6 · 89d21e6
2 parents f6a484b + d3192a7
commit 89d21e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/gnatcoll-traces.adb b/src/gnatcoll-traces.adb
@@ -1106,7 +1106,7 @@ package body GNATCOLL.Traces is
       then
          Create_Exception_Handle (Trace_Handle (Handle));
          Trace (Handle.Exception_Handle,
-                Msg & Ada.Exceptions.Exception_Information (E),
+                Msg & " " & Ada.Exceptions.Exception_Information (E),
                 Style => Style);
       end if;
    end Trace;