diff options
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt-disp_signals.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/grt/grt-disp_signals.adb b/src/grt/grt-disp_signals.adb index b4a83b896..9c4db0bb4 100644 --- a/src/grt/grt-disp_signals.adb +++ b/src/grt/grt-disp_signals.adb @@ -223,6 +223,14 @@ package body Grt.Disp_Signals is else Disp_Value (Sig.Driving_Value, Sig.Mode); end if; + if Boolean'(False) then + Put ("; lst="); + if Sig_Type /= null then + Disp_Value (stdout, Sig.Last_Value, Sig_Type); + else + Disp_Value (Sig.Last_Value, Sig.Mode); + end if; + end if; if Sources then if Sig.Nbr_Ports > 0 then Put (';'); |