tree f3d1e43fd6c508823b5ad6456a464c6b61f23861
parent eee1f3b0c1d05c010ca9d61332c230358cc7c536
author Gilles Peskine <Gilles.Peskine@arm.com> 1589122364 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1590609212 +0200

More accurate variable name

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