diff options
Diffstat (limited to 'translate/grt/grt-options.adb')
| -rw-r--r-- | translate/grt/grt-options.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/translate/grt/grt-options.adb b/translate/grt/grt-options.adb index a272246..6d73843 100644 --- a/translate/grt/grt-options.adb +++ b/translate/grt/grt-options.adb @@ -281,6 +281,8 @@ package body Grt.Options is Disp_Signals_Map := True; elsif Argument = "--disp-signals-table" then Disp_Signals_Table := True; + elsif Argument = "--disp-sensitivity" then + Disp_Sensitivity := True; elsif Argument = "--stats" then Flag_Stats := True; elsif Argument = "--no-run" then |