Overview
| Comment: | tools/smaz: work around a bugbox in GNAT 6.2 |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
d23d8fc3b61668e197217cf1ad94c81d |
| User & Date: | nat on 2016-12-11 21:36:56 |
| Other Links: | manifest | tags |
Context
|
2016-12-12
| ||
| 22:18 | tools/smaz: fix the validation of retired dictionaries check-in: c291af061e user: nat tags: trunk | |
|
2016-12-11
| ||
| 21:36 | tools/smaz: work around a bugbox in GNAT 6.2 check-in: d23d8fc3b6 user: nat tags: trunk | |
|
2016-12-10
| ||
| 22:30 | tools/smaz: instantiate the old code to make it available check-in: 53a6d91b09 user: nat tags: trunk | |
Changes
Modified tools/smaz.adb from [78257fe6d3] to [9042103961]. [diff]