tree 0ed9e494263a0b32dbf0efbe6ee7fdad129cc7d6
parent a3ce6437bf488d84151c48f79e0ccbeaca67e76f
author Gilles Peskine <Gilles.Peskine@arm.com> 1697463602 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1697463602 +0200

Fix editorial error with semantic consequences

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>