tree 4259f1cf6ecabbcb8eecb6789f71e59f26392cce
parent 308d618d8d0ee4470c777aa4c47c705e950700bf
author Gilles Peskine <Gilles.Peskine@arm.com> 1635960442 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1635960442 +0100

Fix copypasta in #endif comment

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