Overview
| Comment: | smaz_generic-tools: fix the precondition of To_Dictionary |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
8458c28c3cae7878f7cc69a29b795b9d |
| User & Date: | nat on 2017-02-14 21:04:11 |
| Other Links: | manifest | tags |
Context
|
2017-02-15
| ||
| 22:57 | coverage.sh: use gprbuild instead of gnatmake check-in: 89d897146c user: nat tags: trunk | |
|
2017-02-14
| ||
| 21:04 | smaz_generic-tools: fix the precondition of To_Dictionary check-in: 8458c28c3c user: nat tags: trunk | |
|
2017-02-13
| ||
| 21:12 | smaz_tests: add multi-block base-4096 verbatim, to reach full coverage check-in: 3110e5329d user: nat tags: trunk | |
Changes
Modified src/natools-smaz_generic-tools.ads from [c594588811] to [d93257e757]. [diff]