diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-07-18 21:11:55 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-07-18 21:11:55 +0200 |
| commit | 207e6dc071b5f336909072096c3a760e6595e5c7 (patch) | |
| tree | 6518bf8a84a47fc2b0a978fbfbbdd57f5f1bf445 /src/ghdldrv/ghdllocal.ads | |
| parent | fd1e5d630069ccafa79f39fc1fa389f6e5f1fa50 (diff) | |
| download | ghdl-207e6dc071b5f336909072096c3a760e6595e5c7.tar.gz ghdl-207e6dc071b5f336909072096c3a760e6595e5c7.tar.bz2 ghdl-207e6dc071b5f336909072096c3a760e6595e5c7.zip | |
Work-around deprecated use of pragma No_Run_Time in gnat gpl 2016.
Diffstat (limited to 'src/ghdldrv/ghdllocal.ads')
0 files changed, 0 insertions, 0 deletions