diff options
Diffstat (limited to 'translate/grt/grt-options.adb')
-rw-r--r-- | translate/grt/grt-options.adb | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/translate/grt/grt-options.adb b/translate/grt/grt-options.adb index 29e8a8c8b..f38d7452a 100644 --- a/translate/grt/grt-options.adb +++ b/translate/grt/grt-options.adb @@ -152,9 +152,6 @@ package body Grt.Options is P (" --stop-time=X stop the simulation at time X"); P (" X is expressed as a time value, without spaces: 1ns, ps..."); P (" --stop-delta=X stop the simulation cycle after X delta"); - -- P (" --disp-tree[=KIND] disp the design hierarchy after elaboration"); - -- P (" KIND is inst, proc, port (default)"); - -- --disp-tree from grt-disp_tree.adb via Grt.Hooks.Call_Help_Hooks; P (" --expect-failure invert exit status"); P (" --stack-size=X set the stack size of non-sensitized processes"); P (" --stack-max-size=X set the maximum stack size"); |