diff options
| author | gingold | 2008-09-06 03:24:23 +0000 |
|---|---|---|
| committer | gingold | 2008-09-06 03:24:23 +0000 |
| commit | db0dacf3b4a07f26c317d7cda0c6f8882e511f88 (patch) | |
| tree | 5a4e45f543f458deba660baed7d0aacfe2751322 /translate/grt/grt-options.ads | |
| parent | b42e36e23f23a0d27e7b08d6cb4461237720de3b (diff) | |
| download | ghdl-db0dacf3b4a07f26c317d7cda0c6f8882e511f88.tar.gz ghdl-db0dacf3b4a07f26c317d7cda0c6f8882e511f88.tar.bz2 ghdl-db0dacf3b4a07f26c317d7cda0c6f8882e511f88.zip | |
New feature: all-sensitized processes (for vhdl 2008)
Diffstat (limited to 'translate/grt/grt-options.ads')
| -rw-r--r-- | translate/grt/grt-options.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/translate/grt/grt-options.ads b/translate/grt/grt-options.ads index c71abac..3057fc8 100644 --- a/translate/grt/grt-options.ads +++ b/translate/grt/grt-options.ads @@ -41,7 +41,7 @@ package Grt.Options is -- Consistent flags used for analysis. -- Format is "VVitr", where: - -- 'VV' is the version (87 or 93). + -- 'VV' is the version (87, 93 or 08). -- 'i' is the integer size ('i' for 32 bits, 'I' for 64 bits). -- 't' is the time size ('t' for 32 bits, 'T' for 64 bits). -- 'r' is the resolution ('?' for to be set by the user, '-' for any). |