diff options
author | gingold | 2012-12-11 02:40:49 +0000 |
---|---|---|
committer | gingold | 2012-12-11 02:40:49 +0000 |
commit | b07663058eaf7adcfe75a1e7f6b24891ba647bc3 (patch) | |
tree | 9f5c4a5f496cbd40ac3c3fc0d678b3f413fad364 /translate/grt/grt-options.ads | |
parent | a47d1d61881e53c05ad9acf375f8b929da5c20e7 (diff) | |
download | ghdl-b07663058eaf7adcfe75a1e7f6b24891ba647bc3.tar.gz ghdl-b07663058eaf7adcfe75a1e7f6b24891ba647bc3.tar.bz2 ghdl-b07663058eaf7adcfe75a1e7f6b24891ba647bc3.zip |
Fix warnings (useless conversion)
Diffstat (limited to 'translate/grt/grt-options.ads')
0 files changed, 0 insertions, 0 deletions