From 69f1a0ac6017b60d853ca8d5350d69ccd697920b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 14 Jun 2014 17:16:08 +0200
Subject: grt-disp_signals: display explicitly direct drivers.

---
 translate/grt/grt-disp_signals.adb | 9 +++++++--
 1 file 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 (", ");
-- 
cgit v1.2.3