diff options
Diffstat (limited to 'translate/grt/grt-options.ads')
| -rw-r--r-- | translate/grt/grt-options.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/translate/grt/grt-options.ads b/translate/grt/grt-options.ads index 3057fc8e3..1d122caae 100644 --- a/translate/grt/grt-options.ads +++ b/translate/grt/grt-options.ads @@ -72,6 +72,7 @@ package Grt.Options is Disp_Sources : Boolean := False; Disp_Signals_Map : Boolean := False; Disp_Signals_Table : Boolean := False; + Disp_Sensitivity : Boolean := False; -- Set by --disp-order to diplay evaluation order of signals. Disp_Signals_Order : Boolean := False; |