tree 366f65cc8ee679548955f4d3eb44afb9c1d0a522
parent f00f15244428a917503182c16d1c2a5cd738f91a
author Gilles Peskine <Gilles.Peskine@arm.com> 1624347956 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1624574782 +0200

Fix unused variable warning

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