tree 73636686ff94c24644d36a4911995ae098b5f4a7
parent 6295dcb60049298dc7bb36a1a64ed7d30027b023
author Gilles Peskine <Gilles.Peskine@arm.com> 1635960442 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1635960520 +0100

Fix copypasta in #endif comment

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