diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2023-12-06 12:04:51 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-01-09 14:13:30 +0100 |
| commit | c1ebec34788353bf126a1df1c75e1ee2110c8795 (patch) | |
| tree | 1150188659b6e33be37ae28ee8e40c0ff9f67c12 /gcc/alloc-pool.h | |
| parent | e3da93d988c0bb5da0eb4f6cdb75a63983ea2b33 (diff) | |
| download | gcc-c1ebec34788353bf126a1df1c75e1ee2110c8795.zip gcc-c1ebec34788353bf126a1df1c75e1ee2110c8795.tar.gz gcc-c1ebec34788353bf126a1df1c75e1ee2110c8795.tar.bz2 | |
ada: Fix precondition in Interfaces.C.Strings
The precondition of both Update procedures in Interfaces.C.Strings were
incorrect. This patch fixes this.
gcc/ada/
* libgnat/i-cstrin.ads (Update): Fix precondition.
Diffstat (limited to 'gcc/alloc-pool.h')
0 files changed, 0 insertions, 0 deletions