diff options
| author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-03-20 11:42:58 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-22 08:26:02 +0100 |
| commit | d3e0e8a132109c1143052ad949c89d82a726a728 (patch) | |
| tree | 25d6b9a92b54cb115c65b5e75b8550b1cf07acd3 /src/flags.ads | |
| parent | 9029a876c92a6469536585c64737e8ed1a8c9cac (diff) | |
| download | ghdl-d3e0e8a132109c1143052ad949c89d82a726a728.tar.gz ghdl-d3e0e8a132109c1143052ad949c89d82a726a728.tar.bz2 ghdl-d3e0e8a132109c1143052ad949c89d82a726a728.zip | |
src: Fix build warning for redundant comparison.
Diffstat (limited to 'src/flags.ads')
0 files changed, 0 insertions, 0 deletions