diff options
Diffstat (limited to 'translate/grt/grt-disp_signals.adb')
| -rw-r--r-- | translate/grt/grt-disp_signals.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/translate/grt/grt-disp_signals.adb b/translate/grt/grt-disp_signals.adb index 6a2d0c1..47f67c2 100644 --- a/translate/grt/grt-disp_signals.adb +++ b/translate/grt/grt-disp_signals.adb @@ -110,6 +110,9 @@ package body Grt.Disp_Signals is end case; end Disp_Context; + -- This is a debugging procedure. + pragma Unreferenced (Disp_Context); + -- Option --trace-signals. -- Disp transaction TRANS from signal SIG. |