diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-03-27 08:13:31 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-03-27 08:13:31 +0100 |
| commit | b004cea2d392fb28110a970e009590afb0ce457e (patch) | |
| tree | 71b547be4f6f672ad6f61a7d82dfbc8886153fb2 /src/flags.ads | |
| parent | 798c9aa771f363a2129950c4873eb94a185e5ec3 (diff) | |
| download | ghdl-b004cea2d392fb28110a970e009590afb0ce457e.tar.gz ghdl-b004cea2d392fb28110a970e009590afb0ce457e.tar.bz2 ghdl-b004cea2d392fb28110a970e009590afb0ce457e.zip | |
synth: improve fatal error propagation.
Diffstat (limited to 'src/flags.ads')
0 files changed, 0 insertions, 0 deletions