Closed LordAro closed 1 year ago
Fixes #955
As requested :)
All committers have signed the CLA.
Thank you for your contribution! As discussed in #955, I’ve merged your change outside of GitHub: https://github.com/AdaCore/libadalang/commit/9997fffc38b6f46bc83bd407a5c8b5bc93d6dc3c, so now closing this PR.
Fixes #955
As requested :)