diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-07-30 07:02:10 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-07-30 07:03:39 +0200 |
| commit | f2e0f4caa262f2e04b9ae4d29d28646751039d38 (patch) | |
| tree | f9032efc37ea7bb18519123da116226c53a4133a /src/options.adb | |
| parent | d0d04ba9b19e0f4a0db16c70db1b3452e16d6923 (diff) | |
| download | ghdl-f2e0f4caa262f2e04b9ae4d29d28646751039d38.tar.gz ghdl-f2e0f4caa262f2e04b9ae4d29d28646751039d38.tar.bz2 ghdl-f2e0f4caa262f2e04b9ae4d29d28646751039d38.zip | |
grt-options: adjust condition to avoid a crash.
Diffstat (limited to 'src/options.adb')
0 files changed, 0 insertions, 0 deletions