diff options
| -rw-r--r-- | translate/grt/grt-disp_signals.adb | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/translate/grt/grt-disp_signals.adb b/translate/grt/grt-disp_signals.adb index 940064482..424d20dcf 100644 --- a/translate/grt/grt-disp_signals.adb +++ b/translate/grt/grt-disp_signals.adb @@ -149,8 +149,13 @@ package body Grt.Disp_Signals is when Trans_Error => Put ("ERROR"); end case; - Put ("@"); - Put_Time (stdout, T.Time); + if T.Kind = Trans_Direct then + -- The Time field is not updated for direct transaction. + Put ("[DIRECT]"); + else + Put ("@"); + Put_Time (stdout, T.Time); + end if; T := T.Next; exit when T = null; Put (", "); |